diff --git a/DOCS/.cvsignore b/DOCS/.cvsignore new file mode 100644 index 0000000000..f05185c383 --- /dev/null +++ b/DOCS/.cvsignore @@ -0,0 +1 @@ +HTML