| Wed, 30 Sep 2015 23:58:59 +0200 | wenzelm | back to old JavaAppLauncher to avoid initial startup problems (due to unsigned application?); | file | diff | annotate |
| Wed, 16 Sep 2015 21:56:00 +0200 | wenzelm | more recent JavaAppLauncher, which supports file associations; | file | diff | annotate |
| Tue, 16 Jul 2013 18:28:45 +0200 | wenzelm | fully-automated packaging (requires Mac OS X); | file | diff | annotate |