sthen 44b612f91a update Doxygen to 1.7.2; original 1.7.1 update by me / ok jasper@, ... revised for 1.7.2 by jasper		2010-11-04 20:13:10 +00:00
..
DESCR-gui
DESCR-main
PLIST-gui	update Doxygen to 1.7.2; original 1.7.1 update by me / ok jasper@,	2010-11-04 20:13:10 +00:00
PLIST-main	update Doxygen to 1.7.2; original 1.7.1 update by me / ok jasper@,	2010-11-04 20:13:10 +00:00