Skip to content

Indent each line of error messages#161

Merged
inariksit merged 5 commits intoGrammaticalFramework:masterfrom anka-213:indent-errorsSep 25, 2023

Commits

Commits on Sep 25, 2023