Commit Graph

1 Commits

Author SHA1 Message Date
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