It is a common convention that every file should end with a new line. One reason is that they look strange in a Linux shell without it, another reason is to get rid of the warnings from GitHub, Gitlab & Co. See https://stackoverflow.com/q/729692/13994294 for more information. :-)
Can we add a newline character at the end of each file-outed ston file?
I originally reported this issue here: https://github.com/hpi-swa/Squot/issues/316#:~:text=Maybe%20also,this%20one
It is a common convention that every file should end with a new line. One reason is that they look strange in a Linux shell without it, another reason is to get rid of the warnings from GitHub, Gitlab & Co. See https://stackoverflow.com/q/729692/13994294 for more information. :-)
Can we add a newline character at the end of each file-outed ston file?