diff -r 6efc85c5493e -r 1c1e3599d66a doc/doxygen/html/globals_defs.html --- a/doc/doxygen/html/globals_defs.html Mon Feb 11 11:00:12 2008 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,69 +0,0 @@ - -
- -
-