Merge "mediawiki.ui: Update color palette"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 17 Jul 2014 21:54:04 +0000 (21:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 17 Jul 2014 21:54:04 +0000 (21:54 +0000)
commit2685e4cb5c3e46944efd8deab9232dfc2bf6baa9
tree268d2bcb7144cc2443d54a558241dde805545668
parent389c0ce24d434b271b6fa7eb7639fea2b3cecf76
parent29a388f4c6a5d54a0fb0f4e6e2edcc0c2ed7cd2b
Merge "mediawiki.ui: Update color palette"