Skip to content

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

Merged
mahills merged 2 commits intocwi-swat:mainfrom SWAT-engineering:chore/update-latest-rascal-releaseSep 12, 2024