# HG changeset patch
# User Alessio Caiazza <nolith@abisso.org>
# Date 1272708008 -7200
# Node ID fca7b07ed52ef18113ab24420af2a75862595c70
# Parent  5db5ccd279b2aa7282188fba4726641466cbac76
# Parent  8535eb4dac9ef8c44980459106660c576910c82e
merge

diff -r 5db5ccd279b2aa7282188fba4726641466cbac76 -r fca7b07ed52ef18113ab24420af2a75862595c70 .hgignore
--- a/.hgignore	Wed Apr 28 17:37:44 2010 +0200
+++ b/.hgignore	Sat May 01 12:00:08 2010 +0200
@@ -18,7 +18,7 @@
 *.out
 *.log
 *.nav
-*.pdf
+ipv6.*.pdf
 *.synctex.gz
 *.snm
 *.toc