4 Commits (41dc0cf2d15bcf8f3d606caa8f2c08d6aab9de19)

Author SHA1 Message Date
Minto van der Sluis 8ec22fdbf3 Updated doxygen (1.5.1 -> 1.5.3) 18 years ago
Christian Wiese 3e90a6db41 * reverted 20327 that repriorized doxygen to make fish happy (better 19 years ago
Christian Wiese d85eae04a2 * changed doxygen build priority (127.100->108.700) to make fish happy 19 years ago
Alejandro Mery 12b79fecfa * relocated current package database to the trunk of the package sub-project 19 years ago