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 |