| Tue, 26 Jan 2021 22:46:06 +0100 | wenzelm | more uniform directory layout for macOS; | file | diff | annotate |
| Tue, 05 Jan 2021 21:47:36 +0100 | wenzelm | obsolete; | file | diff | annotate |
| Sat, 08 Dec 2018 23:53:43 +0100 | wenzelm | discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install; | file | diff | annotate |
| Wed, 05 Dec 2018 19:42:40 +0100 | wenzelm | eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala; | file | diff | annotate |
| 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 |