| Sat, 29 Nov 2008 19:20:12 +0100 | wenzelm | more .hgignore entries; | changeset | files |
| Sat, 29 Nov 2008 19:01:28 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 29 Nov 2008 18:26:53 +0100 | wenzelm | basic setup of .hgignore; | changeset | files |
| Sat, 29 Nov 2008 18:19:59 +0100 | wenzelm | further notes; | changeset | files |