diff options
author | bors-servo <infra@servo.org> | 2023-04-07 18:23:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-07 18:23:07 +0200 |
commit | 2803edd5e1dd045509e3d7ae94a35f98261deacc (patch) | |
tree | 4fbae0f452da83d5aa4ccd46622a4231c7622dad /python/servo/util.py | |
parent | 59df8e38569875e316e719fbb5cfb2fe91b66436 (diff) | |
parent | f7168282a1c034b4ff0caee37f97d4b20155f455 (diff) | |
download | servo-2803edd5e1dd045509e3d7ae94a35f98261deacc.tar.gz servo-2803edd5e1dd045509e3d7ae94a35f98261deacc.zip |
Auto merge of #29600 - mrobinson:layout-2020-args, r=jdm
Have all mach command accept "--with-layout-2020" and "--layout-2020"
Some command accepted one and some the other. This changes makes them all accept both so it's no longer necessary to remember which uses which.
<!-- Please describe your changes on the following line: -->
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes do not require tests because they change the arguments accepted by mach.
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'python/servo/util.py')
0 files changed, 0 insertions, 0 deletions