From da6eecd03111660ae12221265986ba4b10b155dd Mon Sep 17 00:00:00 2001 From: Klaus Weidenbach Date: Wed, 4 Mar 2015 10:15:16 +0100 Subject: 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 --- doc/html/pages.html | 115 ---------------------------------------------------- 1 file changed, 115 deletions(-) delete mode 100644 doc/html/pages.html (limited to 'doc/html/pages.html') diff --git a/doc/html/pages.html b/doc/html/pages.html deleted file mode 100644 index 33dc02d97..000000000 --- a/doc/html/pages.html +++ /dev/null @@ -1,115 +0,0 @@ - - - - - - -The Red Matrix: Related Pages - - - - - - - - - - - - - -
-
- - - - - - - -
-
The Red Matrix -
-
-
- - - - -
-
- -
-
-
- -
- - - - -
- -
- -
-
-
Related Pages
-
-
-
Here is a list of all related documentation pages:
-
-
- -- cgit v1.2.3