mirror of
https://github.com/automate-lfs/jhalfs.git
synced 2026-01-25 08:46:32 +00:00
f2ba466a5e
There were various line spacings, due to the fact that there was no uniform convention for outputing linefeeds. In this commit, we try to initiate a more uniform convention: any text output must begin with a linefeed (if needed), and should not put one at the end. This means: - using userinput instead of text() templates, and output a linefeed at the beginning of each - move ending linefeed to the beginning of several chunks