Wed Dec 18 11:23:21 UTC 2013  Johnny Willemsen  <jwillemsen@remedy.nl>

        * etc/ciao_dds4ccm.doxygen:
          Upgraded to doxygen 1.8.5



git-svn-id: svn://svn.dre.vanderbilt.edu/DOC/Middleware/trunk/CIAO@97474 ae88bc3d-4319-0410-8dbf-d08b4c9d3795