doxygenBugs.docs

// -*- c++ -*-
//
// This file had a list of doxygen bugs, but the list was old (2008) and I know that some of these things work fine in recent
// versions of doxygen because I use them. Therefore I'm deleting this page. [Robb P. Matzke 2015-05-15]