Skip to content

Update to dev15 - #211

Merged
MikeSullivan7 merged 1 commit into
RascalSoftware:mainfrom
MikeSullivan7:dev15
Jun 16, 2026
Merged

MikeSullivan7 merged 1 commit into
RascalSoftware:mainfrom
MikeSullivan7:dev15

update to dev15

d39f96e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.