June 16, 2022
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 18, 2022
February 24, 2022
February 17, 2022
January 20, 2022
January 16, 2022
January 13, 2022
January 12, 2022
November 2, 2021