ecc3668 Doxyfile is now in git, so we don't need it in sources

Authored and Committed by law 3 years ago
1 file changed. 0 lines added. 1 lines removed.
    Doxyfile is now in git, so we don't need it in sources
    
        
file modified
+0 -1