Code

Using latest rascal and rascal-core#92

Code

Merged

rodinaarssen merged 1 commit intomainusethesource/clair:mainfrom chore/update-latest-rascal-releaseusethesource/clair:chore/update-latest-rascal-releaseCopy head branch name to clipboardOct 17, 2024

+2-2

Commits

Commits on Oct 17, 2024

• Using latest rascal and rascal-core

  DavyLandman

  committed
  961755c