Dave Halter 84d086a47b Fix an issue with whitespace after a dot at the end of a file, also part of #1748

2021-11-17 00:31:46 +01:00

4.7 KiB

Raw Blame History

View Raw