| Sun, 19 Jun 2011 15:22:58 +0200 | wenzelm | discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax); | file | diff | annotate |
| Sat, 18 Jun 2011 15:11:33 +0200 | wenzelm | proper place for config files; | file | diff | annotate | base |