# HG changeset patch
# User wenzelm
# Date 1246646234 -7200
# Node ID cdfe9a757d5fadd86012572d9dcdc4bf6d7cbad8
# Parent  569b7fae5206ce769d2c885583081b18a9b9b63e
more hgignore;

diff -r 569b7fae5206 -r cdfe9a757d5f .hgignore
--- a/.hgignore	Fri Jul 03 16:36:02 2009 +0200
+++ b/.hgignore	Fri Jul 03 20:37:14 2009 +0200
@@ -17,9 +17,11 @@
 ^doc-src/.*\.dvi
 ^doc-src/.*\.idx
 ^doc-src/.*\.ind
+^doc-src/.*\.lof
 ^doc-src/.*\.log
 ^doc-src/.*\.out
 ^doc-src/.*\.rai
 ^doc-src/.*\.rao
 ^doc-src/.*\.toc
 
+