diff options
author | bors-servo <infra@servo.org> | 2023-07-04 00:40:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-04 00:40:11 +0200 |
commit | 66abb1dfc49ab1067b7a3d7bc2d40b772f949bcd (patch) | |
tree | 9b1eed6c332aaff352d9e6c52a9fe2c081129b69 /python/servo/util.py | |
parent | 35ab3116358a50a0ffa549bbe90ce8d2cc755ddb (diff) | |
parent | 633d9b0eb964b09bf4dbb46d81a965a4be2fe8f5 (diff) | |
download | servo-66abb1dfc49ab1067b7a3d7bc2d40b772f949bcd.tar.gz servo-66abb1dfc49ab1067b7a3d7bc2d40b772f949bcd.zip |
Auto merge of #29954 - mrobinson:windows-bootstrap, r=mukilan
Windows bootstrap support
<!-- 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 fix #25224
- [x] These changes do not require tests because they are just support script changes.
<!-- 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