Skip to content

Fix formatting text after an Error in the Terminal - #227

Merged
StephenNneji merged 2 commits into
RascalSoftware:mainfrom
MikeSullivan7:Terminal_colour_bug_fix
May 22, 2026
Merged

Fix formatting text after an Error in the Terminal#227
StephenNneji merged 2 commits into
RascalSoftware:mainfrom
MikeSullivan7:Terminal_colour_bug_fix

Commits

Commits on May 13, 2026

Commits on May 20, 2026