Merge "mediawiki.legacy: Use 'none' rather than 'initial' to remove border"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 8 Aug 2015 22:48:10 +0000 (22:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 8 Aug 2015 22:48:10 +0000 (22:48 +0000)
commit70c6e7569fd3baf537e8e9691cbdc33e1b4ed31e
tree5ed7e80af466aca9894faa7c2e49ca854c2e7d75
parent49e8767bf07dbbb7d0e6a084f250a889f86c410b
parent369a9e7074b6dc1e6799114e6a034ae40e018057
Merge "mediawiki.legacy: Use 'none' rather than 'initial' to remove border"