Skip to content

Fix formatting text after an Error in the Terminal#227

Open
MikeSullivan7 wants to merge 1 commit into
RascalSoftware:mainfrom
MikeSullivan7:Terminal_colour_bug_fix
Open

Fix formatting text after an Error in the Terminal#227
MikeSullivan7 wants to merge 1 commit into
RascalSoftware:mainfrom
MikeSullivan7:Terminal_colour_bug_fix