# HG changeset patch
# User diego
# Date 1055889260 0
# Node ID 82c26f554cd0800566e387faa3152cbd8eca06c7
# Parent  134e4332f550dc238ef998037098e214d4a47e5b
HTML directory is autogenerated.

diff -r 134e4332f550 -r 82c26f554cd0 DOCS/.cvsignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/DOCS/.cvsignore	Tue Jun 17 22:34:20 2003 +0000
@@ -0,0 +1,1 @@
+HTML