November 5, 2025
October 13, 2024
September 11, 2023
May 31, 2023
March 11, 2023
-
avoid bad data in the safe variable, multiple versions need to go into old_safe
Hanno Böck authored on 2023-03-11 07:33:42
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