Merge "Remove externaledit/externaldiff preference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Apr 2013 16:15:27 +0000 (16:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Apr 2013 16:15:27 +0000 (16:15 +0000)
commit837fc7b310a87e9166f9a4a2e4f695c5897b6931
tree12622785a75341cf28bf5f0d84f7b28899f8d636
parent57f7bfc6626a02c34ba6422b0d57838e092d96e6
parent4be62363520d02f9d5bf4929b9abee3521abfb53
Merge "Remove externaledit/externaldiff preference"