| Sat, 25 May 2013 15:37:53 +0200 | wenzelm | syntax translations always depend on context; | file | diff | annotate |
| Fri, 17 May 2013 20:53:28 +0200 | wenzelm | renamed 'print_configs' to 'print_options'; | file | diff | annotate |
| Wed, 15 May 2013 20:34:42 +0200 | wenzelm | moved files; | file | diff | annotate |