July 8, 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 1, 2022
December 21, 2021
October 22, 2021
September 4, 2021
June 26, 2021
April 11, 2021
December 26, 2020
September 25, 2020