| Tue, 26 Jan 2021 22:46:06 +0100 | wenzelm | more uniform directory layout for macOS; | file | diff | annotate |
| Fri, 10 Jan 2020 16:37:47 +0100 | wenzelm | clarified script name; | file | diff | annotate |
| Mon, 23 Dec 2019 15:24:14 +0100 | wenzelm | updated linux_app-20191223: x86_64-linux; | file | diff | annotate |
| Mon, 07 Oct 2013 22:19:08 +0200 | wenzelm | native executable for Linux (see Admin/Linux); | file | diff | annotate |