Skip to content
This repository has been archived by the owner on Jul 5, 2018. It is now read-only.

Fudge around the border sizes on the progress bar to make the border siz... #210

Merged
merged 1 commit into from Aug 29, 2012

Conversation

bvibber
Copy link
Contributor

@bvibber bvibber commented Aug 29, 2012

...es even on hdpi devices

jdlrobson added a commit that referenced this pull request Aug 29, 2012
Fudge around the border sizes on the progress bar to make the border siz...
@jdlrobson jdlrobson merged commit 1780bd9 into wikimedia:master Aug 29, 2012
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants