| Sat, 28 Apr 2012 16:44:32 +0200 | wenzelm | some manual updates; | file | diff | annotate |
| Sun, 22 Apr 2012 22:02:52 +0200 | wenzelm | updated generated files; | file | diff | annotate |
| Sun, 22 Apr 2012 14:30:18 +0200 | wenzelm | USER_HOME settings variable points to cross-platform user home directory; | file | diff | annotate |