Move Doxyfile to repository root (#674)
This makes most tools/plugins for Doxygen work without much adjustment. Also resolved some Doxygen warnings.
This commit is contained in:
committed by
Henrik Ekblad
parent
6564daec3e
commit
ea65c5b150