diff options
| author | Paul Rouget <me@paulrouget.com> | 2018-08-01 11:52:31 +0200 |
|---|---|---|
| committer | Paul Rouget <me@paulrouget.com> | 2018-08-01 11:52:31 +0200 |
| commit | 4dfe617d3ff24bd694f5ff7686b052c5d2d338e5 (patch) | |
| tree | c5caeb241aca885c86134f223d3fa25571d3fe83 /python/servo/devenv_commands.py | |
| parent | 78e90d6358d2ce2e06862dec9eae1e72bbe2bfab (diff) | |
| download | servo-4dfe617d3ff24bd694f5ff7686b052c5d2d338e5.tar.gz servo-4dfe617d3ff24bd694f5ff7686b052c5d2d338e5.zip | |
Fix page size when device-pixel-ratio is set manually
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions