diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-02-21 20:45:20 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-21 20:45:20 -0800 |
| commit | 03893e25cc00488dea540ce53865f7f696f8f262 (patch) | |
| tree | f39cbf67df8650b91ebca5d10aabeb816397df4e /python/tidy/servo_tidy_tests | |
| parent | 07debf5dc02e48ede1652100377a4c51979ca7e6 (diff) | |
| parent | 0af27a343496d2b2cb23eb52ab96a4be5e90166e (diff) | |
| download | servo-03893e25cc00488dea540ce53865f7f696f8f262.tar.gz servo-03893e25cc00488dea540ce53865f7f696f8f262.zip | |
Auto merge of #15680 - glennw:zoom-wip, r=mbrubeck
Rename ScreenPx to DeviceIndependentPixel.
<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/15680)
<!-- Reviewable:end -->
Diffstat (limited to 'python/tidy/servo_tidy_tests')
0 files changed, 0 insertions, 0 deletions