Skip to content

Remove notify display option, update CPP and version to dev16 - #213

Merged
StephenNneji merged 2 commits into
RascalSoftware:mainfrom
StephenNneji:remove_notify
Aug 25, 2026
Merged

Remove notify display option, update CPP and version to dev16#213
StephenNneji merged 2 commits into
RascalSoftware:mainfrom
StephenNneji:remove_notify

Update to dev16

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

Annotations

1 warning
run_ruff / ruff
succeeded Aug 24, 2026 in 15s