streams/doc/html
Klaus Weidenbach da6eecd031 remove Doxygen API Documentation from repository.
This removes around 14MB and can get easily generate locally by
doxygen util/Doxyfile when needed.
Restructured .gitignore a bit and some additions like zotshrc, etc.
Fixed a typo in doc/main.bb
2015-03-04 11:38:35 +01:00
..
index.php remove Doxygen API Documentation from repository. 2015-03-04 11:38:35 +01:00