Merge "docs: Ignore .md from resources/lib in Doxyfile"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Sep 2019 18:12:26 +0000 (18:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Sep 2019 18:12:26 +0000 (18:12 +0000)
commit7e4375d61e46b8c4a77fcb9b635339c8b916d0b6
treed0cd66a8da0c55d4c65ca1b2002b6d4ea8c0d2d3
parente3e33ce99c909103b4b2b861c8361729441eccc8
parent0b1d48db421ee73f9b27b3dbe1fc2dc0fb22ab8a
Merge "docs: Ignore .md from resources/lib in Doxyfile"