# HG changeset patch
# User Heiko Schlittermann (JUMPER) <hs@schlittermann.de>
# Date 1399798524 -7200
# Node ID 94cf6ae85bc379aa888d6f9c37c6c91fe2bd7693
# Parent  0f80f11be2791308f2287a5996ee8fe48a5c81c9
ignore list added

diff -r 0f80f11be279 -r 94cf6ae85bc3 .hgignore
--- /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