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/dir_b2f003339c516cc00c8cadcafbe82f13.js | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 doc/html/dir_b2f003339c516cc00c8cadcafbe82f13.js (limited to 'doc/html/dir_b2f003339c516cc00c8cadcafbe82f13.js') diff --git a/doc/html/dir_b2f003339c516cc00c8cadcafbe82f13.js b/doc/html/dir_b2f003339c516cc00c8cadcafbe82f13.js deleted file mode 100644 index 991623ea4..000000000 --- a/doc/html/dir_b2f003339c516cc00c8cadcafbe82f13.js +++ /dev/null @@ -1,5 +0,0 @@ -var dir_b2f003339c516cc00c8cadcafbe82f13 = -[ - [ "php", "dir_817f6d302394b98e59575acdb59998bc.html", "dir_817f6d302394b98e59575acdb59998bc" ], - [ "theme", "dir_8543001e5d25368a6edede3e63efb554.html", "dir_8543001e5d25368a6edede3e63efb554" ] -]; \ No newline at end of file -- cgit v1.2.3