May 23, 2022
-
add newline at end of json files to make them more suitable for editors who always want a newline at EOF
Hanno Böck authored on 2022-05-23 18:32:02
April 23, 2022
April 17, 2022
January 27, 2022
January 25, 2022
January 16, 2022
January 14, 2022
December 23, 2021
November 21, 2021
October 28, 2021