| Tue, 05 Jan 2021 21:58:00 +0100 | wenzelm | prefer official Java 9 operations; | file | diff | annotate |
| Tue, 05 Jan 2021 21:46:35 +0100 | wenzelm | proper dock icon for macOS; | file | diff | annotate |
| Sun, 03 Jan 2021 23:01:16 +0100 | wenzelm | some attempts at multi-platform full-screen mode; | file | diff | annotate |