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