Follow-up ee66a534: Drop reference to old 7zip.inc file name from phan config too
authorJames D. Forrester <jforrester@wikimedia.org>
Mon, 13 May 2019 14:27:57 +0000 (15:27 +0100)
committerJames D. Forrester <jforrester@wikimedia.org>
Mon, 13 May 2019 14:35:22 +0000 (15:35 +0100)
commit6713af85f69198de9cee0a1926d021e8931a4a69
tree982656a252cfb6dabc2542d486e97029788b325d
parent376c3aebb5a3676158a45f8248f84a88f1059ee2
Follow-up ee66a534: Drop reference to old 7zip.inc file name from phan config too

Change-Id: I4e018ab676f114a45edb9e7ca6025490134a2ef0
.phan/config.php