Checkout
Julian Foad
committed
on 01 Mar
* doc/doxygen.conf: Remove options that are now obsolete (that doxygen 1.8.11
was warning about).