Ignore locally generated docs to avoid accidental commits.

This commit is contained in:
Rene Rivera
2016-07-22 08:31:13 -05:00
parent 43e6ec9493
commit 41957f466f

1
doc/.gitignore vendored Normal file
View File

@ -0,0 +1 @@
/html/