Merge "Remove outdated unused jquery.tipsy styles from common/shared.css"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 10 Jul 2014 16:52:28 +0000 (16:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 10 Jul 2014 16:52:28 +0000 (16:52 +0000)
commitcbcdf9314d572d64216ea95ba765f347f4cf0504
tree0de3965199bef0b54c1500589f47b342c3b64a70
parent16eb4480e815a754dfb8c9320778f40c5b2cc016
parenta91a14b29e43aaedb837a6c92ea8bd9449638e7d
Merge "Remove outdated unused jquery.tipsy styles from common/shared.css"