log Doxyfile @ 463:c47709e8b5c9 prerelease

age author description
Thu, 16 Jun 2016 02:27:33 +0100 Giulio Moro Removed useless files from Doxyfile, improved performance from 14 to 9 seconds on the BBB prerelease