April 20, 2024
December 22, 2023
-
update mediawiki again, 1.35 is eol, 1.41.0 is released
Hanno Böck authored on 2023-12-22 09:00:39
October 1, 2023
July 2, 2023
January 8, 2023
December 27, 2022
October 2, 2022
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