--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Sun May 11 10:55:24 2014 +0200
@@ -0,0 +1,11 @@
+syntax:glob
+mk2014.aux
+mk2014.log
+mk2014.nav
+mk2014.out
+mk2014.pdf
+mk2014.snm
+mk2014.toc
+mk2014.vrb
+procs.pdf
+routing.pdf