Commit Graph

1 Commits

Author SHA1 Message Date
ISSOtm
210a4a957a Get rid of in-repo HTML documentation
The online documentation is now managed by a CI hook
2020-09-15 18:39:22 +02:00