| Wed, 03 Apr 2024 11:02:09 +0200 | wenzelm | update for release; | file | diff | annotate |
| Mon, 10 Jul 2023 22:31:24 +0200 | wenzelm | update for release; | file | diff | annotate |
| Fri, 09 Sep 2022 20:20:06 +0200 | wenzelm | update for release; | file | diff | annotate |
| Mon, 21 Dec 2020 14:03:12 +0100 | wenzelm | misc tuning for release; | file | diff | annotate |
| Mon, 10 Feb 2020 22:33:03 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Tue, 02 Apr 2019 13:15:52 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Wed, 06 Jun 2018 11:49:16 +0200 | wenzelm | updated for release; | file | diff | annotate |