Merge "Remove unused private method check()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Nov 2013 21:56:57 +0000 (21:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Nov 2013 21:56:57 +0000 (21:56 +0000)
commit424845ad11f2e636d602b9009314c1748e92a7c3
tree201ba843ab8c50c2c5d98a2327597fd1a094fa78
parent3edd3c40550b8fef55ebe0ed6c73be76859dc97d
parentdcb0471e19c6c2c1fed0c08db48c700d1d97e832
Merge "Remove unused private method check()"
includes/diff/DairikiDiff.php