Merge "docs: Remove GENERATE_MAN support from Doxyfile"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 6 Sep 2019 17:05:21 +0000 (17:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 6 Sep 2019 17:05:21 +0000 (17:05 +0000)
commitef04853cd7ac35a4e7e4d75d34240657cd9d8c9d
tree4a8eb6ff68c5ef1065aebbfadfc714fa33d51a4a
parent4c6b97966b795d9e032a1f905c4f2c72d75fd1b7
parent853838a322610efa01db0917b76e0aeac65e68ba
Merge "docs: Remove GENERATE_MAN support from Doxyfile"