Ignore the generated documentation.

88b305ec · Kim Nguyễn · cf8b2b9e · 88b305ec
Commit 88b305ec authored Mar 28, 2015 by Kim Nguyễn
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

.gitignore .gitignore +1 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -9,4 +9,5 @@ cduce
 *.cmxa
 *.a
 Makefile.conf
+web/doc/*.html