| Wed, 09 Mar 2016 14:54:51 +0100 | wenzelm | bash process with builtin timing; | file | diff | annotate |
| Mon, 07 Mar 2016 21:09:28 +0100 | wenzelm | File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output; | file | diff | annotate |