log Doxyfile @ 446:566bb80c2d14 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