# HG changeset patch
# User diego
# Date 1066699637 0
# Node ID 1d753b45e42ec5e144f450de64217130618cbef7
# Parent  836228630d1db619234095653e6341ca8abf8775
HTML-single added.

diff -r 836228630d1d -r 1d753b45e42e DOCS/.cvsignore
--- a/DOCS/.cvsignore	Tue Oct 21 00:42:29 2003 +0000
+++ b/DOCS/.cvsignore	Tue Oct 21 01:27:17 2003 +0000
@@ -1,1 +1,2 @@
 HTML
+HTML-single