Merge "doc: Clean up Doxyfile for doxygen 1.8.6"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Nov 2014 19:09:52 +0000 (19:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Nov 2014 19:09:52 +0000 (19:09 +0000)
commit2e712570f4d495082560e9e60b4e6ea200d920e0
tree91107f2488ce49b2f7416cd0eca428bc4a7dba3b
parent7286e7d5f3447e4aeff49af0b49f73a60be4e0f8
parent72a0cd4e111e82e7f4043e2fd08c4c17b85b0494
Merge "doc: Clean up Doxyfile for doxygen 1.8.6"