diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-08-23 17:20:55 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-23 17:20:55 -0400 |
commit | 6680f8aae035157167b9b832ef72c43ca8592eff (patch) | |
tree | b9d802500976c8cfd9a80b35e710938cbed1cf12 /python/servo/command_base.py | |
parent | f21d11606987a4febcb54431c5c4577ab018dec7 (diff) | |
parent | b2c56940ebe4ac5ec8875616ec7bd07765cd4be8 (diff) | |
download | servo-6680f8aae035157167b9b832ef72c43ca8592eff.tar.gz servo-6680f8aae035157167b9b832ef72c43ca8592eff.zip |
Auto merge of #24030 - paulrouget:resize, r=jdm
Resize support
Depends on #24029
<!-- 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/24030)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/command_base.py')
0 files changed, 0 insertions, 0 deletions