Ignore doxygen docs

release/4.3a0
dellaert 2015-02-18 14:24:35 +01:00
parent 0914e2c8d5
commit 37cc0acbf7
1 changed files with 1 additions and 0 deletions

1
doc/.gitignore vendored Normal file
View File

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