# HG changeset patch
# User etisserant
# Date 1202805776 -3600
# Node ID 31dc4ec8710c94c8e93ee9ac9c263e36677dbeb1
# Parent  8a46c8432c82ca504cf7955e804a89b345d930d7
exlude generated html doxygen from CVS

diff -r 8a46c8432c82 -r 31dc4ec8710c doc/doxygen/.cvsignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/doxygen/.cvsignore	Tue Feb 12 09:42:56 2008 +0100
@@ -0,0 +1,2 @@
+html
+