| 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 |
| Mon, 21 Aug 2017 17:15:26 +0200 | wenzelm | misc updates for release; | file | diff | annotate |
| Thu, 31 Dec 2015 21:06:09 +0100 | wenzelm | misc updates for release; | file | diff | annotate |