diff -r 2cb34a4ac65a -r 6b5a4c21e061 doc/doxygen/html/globals_defs.html --- a/doc/doxygen/html/globals_defs.html Tue Jun 05 17:34:33 2007 +0200 +++ b/doc/doxygen/html/globals_defs.html Tue Jun 05 18:43:21 2007 +0200 @@ -61,7 +61,7 @@