log Doxyfile @ 298:634c1d1f37bc Doxy prerelease

age author description
Tue, 17 May 2016 15:53:24 +0100 Robert Jack Merge Doxy prerelease
Tue, 17 May 2016 16:04:35 +0100 Giulio Moro Partially undoing 247a182adb6d prerelease