Merge "Remove renamed .inc files from phan config"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 31 May 2018 21:39:04 +0000 (21:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 31 May 2018 21:39:04 +0000 (21:39 +0000)
commit59cc46fa644563786e86440fefbbbd599f39d951
tree5b4f567c1aeb63d98927bae72d58ad9a06f1bc54
parent26c52b50a77af6eed340f25d935b6a0019e7f3ed
parent0123e91fc2da1a4de8b4ef4fa1044eda1bc35fb3
Merge "Remove renamed .inc files from phan config"