Merge "Remove check for wikimedia-mode file, which no longer exists"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 21 Jul 2014 14:47:06 +0000 (14:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 21 Jul 2014 14:47:06 +0000 (14:47 +0000)
commit7ba5021bdec1d4a3a4230ffe8a5542e02d23339a
tree5f53e25d56f5fefa1bbed7082f60d7628be3e0b8
parentc505ae44d47068f22e003a64c417cf9cf3dc2ee2
parent2997b116f36d65bbc9c7178c8066074e8aa7f483
Merge "Remove check for wikimedia-mode file, which no longer exists"