Tue, 10 Aug 2021 19:27:12 +0200 | Mike Becker | improve button styles | file | diff | annotate |
Mon, 09 Aug 2021 17:09:54 +0200 | Mike Becker | minor hotfixes for the 0.6 release | file | diff | annotate |
Wed, 06 Jan 2021 15:39:56 +0100 | Mike Becker | merge resource bundles | file | diff | annotate |
Sun, 10 May 2020 10:11:37 +0200 | Mike Becker | removes features that are not (and probably will not) used anyway | file | diff | annotate |
Sat, 09 May 2020 14:26:31 +0200 | Mike Becker | converts to maven project | file | diff | annotate | base |