| Sun, 02 Oct 2016 15:35:56 +0200 | wenzelm | updated according to 85c83757788c; | file | diff | annotate |
| Sun, 13 Mar 2016 13:04:50 +0100 | wenzelm | prefer Scala over bash function; | file | diff | annotate |
| Thu, 25 Feb 2016 19:22:13 +0100 | wenzelm | slightly more robust re-initialization; | file | diff | annotate |