Merge "Use better styles for fake button in installer"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 9 May 2016 15:22:06 +0000 (15:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 9 May 2016 15:22:06 +0000 (15:22 +0000)
commitb9bd630052bbd179d6798eb2f7d6e81911b73765
tree3c5e269d114890f6c439984aa5dbb7598b7f3d2a
parent8cb5a7bff21d7ff25a05c04301bb38cd4f56e70c
parentaa518a6d83692496564f195fd2818dee38f50949
Merge "Use better styles for fake button in installer"