Merge "Re-sync OOjs and OOjs UI update scripts"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 5 Mar 2014 13:40:55 +0000 (13:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 5 Mar 2014 13:40:55 +0000 (13:40 +0000)
commit25bfbf4756bc0cf63bbbb2986aed54c09017140d
tree23ddfbde99573e1fb77670cc89d75da78fd5aed1
parentc71cd17ed2cd1ae1b5f3d74b966a22fccdb54ae5
parent774dfff5be0213be06900e0c2479dd9bdaa3af13
Merge "Re-sync OOjs and OOjs UI update scripts"
resources/oojs-ui/update-oojs-ui.sh