Remove generated documentation from version control

This commit is contained in:
2019-01-02 18:52:35 +01:00
parent 72e18f9e29
commit 82cd127370
272 changed files with 3 additions and 82091 deletions

4
.gitignore vendored
View File

@@ -56,4 +56,6 @@ console
.#*
.*
!/.gitignore
*.pid
*.pid
/doc/app