Doxyfile: Reset unused options back to default
authorTimothy Gu <timothygu99@gmail.com>
Sun, 31 Jul 2016 02:51:34 +0000 (19:51 -0700)
committerTimothy Gu <timothygu99@gmail.com>
Sun, 31 Jul 2016 02:52:28 +0000 (19:52 -0700)
commitcebad64d4f064d85868aebf74bcc292efff1fe3b
treea681b278944caf398651a4544fa221f9dd482fae
parent5522da9ee1020ce615bd972ff9c5e34c2231dda6
Doxyfile: Reset unused options back to default

Silences a few warnings.
doc/Doxyfile