| Sun, 22 Apr 2012 14:30:18 +0200 | wenzelm | USER_HOME settings variable points to cross-platform user home directory; | file | diff | annotate |
| Thu, 02 Feb 2012 16:07:25 +0100 | wenzelm | discontinued obscure history commands; | file | diff | annotate |
| Tue, 03 May 2011 21:07:24 +0200 | wenzelm | updated generated files; | file | diff | annotate |