| Tue, 26 Jan 2021 20:16:56 +0100 | wenzelm | prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc); | 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 21:24:44 +0200 | wenzelm | native executable even for Linux, to avoid surprises with file managers opening executable script as text file; | file | diff | annotate |