Tue, 26 Jan 2021 20:06:38 +0100 | wenzelm | more robust; | file | diff | annotate |
Tue, 26 Jan 2021 19:55:11 +0100 | wenzelm | tuned; | 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:02:46 +0200 | wenzelm | proper NULL termination; | 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 |