Merge "Make wikidiff3 the only diff engine"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 26 Apr 2016 20:46:57 +0000 (20:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 26 Apr 2016 20:46:57 +0000 (20:46 +0000)
commit14645c9a5f1e091d401c3a3c94217ff5b4eb7713
tree801d908dd21425fe9fce8632c35528ec71736e73
parent62f5c5f277395bd8c4fd807bdf1e31d6b3378afe
parente08cd0de8432f1746a06a05b458f3d47280ae4aa
Merge "Make wikidiff3 the only diff engine"