| Mon, 01 Dec 2008 22:00:38 +0100 | wenzelm | ignore aux stuff in doc-src; | file | diff | annotate |
| Sat, 29 Nov 2008 19:20:12 +0100 | wenzelm | more .hgignore entries; | file | diff | annotate |
| Sat, 29 Nov 2008 18:26:53 +0100 | wenzelm | basic setup of .hgignore; | file | diff | annotate |