Delete doc/html

This commit is contained in:
Peter Dimov
2019-05-17 16:11:43 +03:00
parent 504abbe8eb
commit c4f7f2d63a
2 changed files with 1 additions and 2798 deletions

1
doc/.gitignore vendored
View File

@ -1 +1,2 @@
/pdf/
/html/

File diff suppressed because it is too large Load Diff