Wed Dec 18 14:22:00 UTC 2013  Johnny Willemsen  <jwillemsen@remedy.nl>

        * etc/ciao.doxygen:
          Upgraded to doxygen 1.8.5



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