March 9, 2023
July 1, 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
October 24, 2021
October 23, 2021
July 19, 2021
July 4, 2021
December 31, 2020
December 18, 2020
November 28, 2020