diff -r 70e2886211d5 -r 1559584ca634 src/work/Doxyfile --- a/src/work/Doxyfile Tue Oct 05 09:41:05 2004 +0000 +++ b/src/work/Doxyfile Thu Oct 07 07:39:42 2004 +0000 @@ -23,7 +23,7 @@ # This could be handy for archiving the generated documentation or # if some version control system is used. -PROJECT_NUMBER = 0.2 +PROJECT_NUMBER = 0.3 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) # base path where the generated documentation will be put.