Sat, 05 Mar 2022 14:31:29 +0100 | wenzelm | more executable files; | file | diff | annotate |
Sat, 05 Mar 2022 14:24:33 +0100 | wenzelm | tuned; | file | diff | annotate |
Sat, 05 Mar 2022 10:48:45 +0100 | wenzelm | clarified command-line options; | file | diff | annotate |
Fri, 04 Mar 2022 22:53:49 +0100 | wenzelm | build component for VSCodium (cross-compiled from sources for all platforms); | file | diff | annotate |