Merge "jquery.spinner: Improve documentation formatting"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Dec 2013 11:47:25 +0000 (11:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Dec 2013 11:47:25 +0000 (11:47 +0000)
commit12d9ce2a2f9ddec1a2f5ead8ebff0b2282bdac31
tree1edcc11adb744bb17e0300d34764007630a2b36d
parent185d1bc25536b72c05f6f3f3ded1e3dd9b78e925
parent91659352c36d055c78eb27f7752c27933425c34b
Merge "jquery.spinner: Improve documentation formatting"