Merge "Use Diffusion for default Git Viewer"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 25 Mar 2016 19:20:13 +0000 (19:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 25 Mar 2016 19:20:13 +0000 (19:20 +0000)
commit21463af0d8db7d7ea8e0e87e48e75cd3acb832b7
tree508a0f338b741a7d7b05506216e52cf335b14257
parent5f1446d42077bd2d71ffef67381bf2897e25910b
parent4f40a159ec1cac67cc709b8ae31045a311f0c4fc
Merge "Use Diffusion for default Git Viewer"
includes/DefaultSettings.php