| Sun, 12 Jan 2025 14:21:22 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Sun, 12 Jan 2025 13:41:00 +0100 | wenzelm | tuned: fewer warnings in IntelliJ IDEA; | file | diff | annotate |
| Sat, 11 Jan 2025 21:58:47 +0100 | wenzelm | proper platform.exe; | file | diff | annotate |
| Sat, 11 Jan 2025 21:51:06 +0100 | wenzelm | activate admin tools; | file | diff | annotate | base |