]> git.tuebingen.mpg.de Git - gsu.git/commitdiff
com_prefs(): Add missing space character.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 26 Dec 2017 21:41:54 +0000 (22:41 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 17 Feb 2018 12:16:07 +0000 (13:16 +0100)
Pure cosmetic issue, as this text is printed after the # character
which starts a comment.


No differences found