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

Commits

Commits on Aug 24, 2026