Merge "mw.ui:checkbox: Fix indentation and add zero before decimal"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 4 Nov 2014 09:48:57 +0000 (09:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 4 Nov 2014 09:48:57 +0000 (09:48 +0000)
commit88415d487a562076fba6c44d4088a011e9845245
tree59f95548d35b761a4668e2db2f4b56e3f6cd92ba
parenta91b0c860659e5bff277249bcdc3c5723589b024
parent00b7a883ea7b9c74f5e9cd4d7f8288e74372a986
Merge "mw.ui:checkbox: Fix indentation and add zero before decimal"