February 13, 2024
December 12, 2023
October 13, 2023
May 25, 2023
October 22, 2022
September 24, 2022
July 15, 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 23, 2022
January 7, 2022