diff options
| author | glowe <graham@spinlag.com> | 2019-10-26 11:37:09 -0400 |
|---|---|---|
| committer | glowe <graham@spinlag.com> | 2019-10-26 12:00:14 -0400 |
| commit | 0ee300479ec22e18ea00d9d1c7c60bdd35808983 (patch) | |
| tree | c890e2ec71ef232abcdc5e2697c0676663aa0e73 /components/script/dom/bindings/codegen/parser/debug.patch | |
| parent | 74f1e2ec322b22ef9a1370d56d7cf3b1d38479ef (diff) | |
| download | servo-0ee300479ec22e18ea00d9d1c7c60bdd35808983.tar.gz servo-0ee300479ec22e18ea00d9d1c7c60bdd35808983.zip | |
Extract device_pixels_per_px from global opts
This is also an embedder specific option, so removing it from the
global options makes sense.
Diffstat (limited to 'components/script/dom/bindings/codegen/parser/debug.patch')
0 files changed, 0 insertions, 0 deletions