Skip to content

Moved to the latest rascal and rascal-plugin release#27

Merged
jurgenvinju merged 12 commits intomainfrom chore/update-latest-rascal-releaseOct 17, 2024

Commits

Commits on Jun 14, 2024

Commits on Jun 17, 2024

Commits on Jun 25, 2024

Commits on Jun 26, 2024

Commits on Jul 2, 2024

Commits on Jul 5, 2024

Commits on Jul 15, 2024

Commits on Jul 22, 2024

Commits on Oct 17, 2024