diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-02-24 02:27:13 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-24 02:27:13 -0500 |
| commit | 92f5b36f49671756e02a33ec70006d5b374a4388 (patch) | |
| tree | 121b36a6a2ca8b61efe874deff047a3618a0388d /python/servo/post_build_commands.py | |
| parent | 2d1ec68d319f3eb2f612b2b698168c8ddbec557d (diff) | |
| parent | 30f474312ff9beb2b407fc35f1a93d65c8bbeaae (diff) | |
| download | servo-92f5b36f49671756e02a33ec70006d5b374a4388.tar.gz servo-92f5b36f49671756e02a33ec70006d5b374a4388.zip | |
Auto merge of #25738 - jsjoeio:jsjoeio/issue-25732-rename-xr, r=Manishearth,jdm
refactor: rename XR to XRSystem
<!-- Please describe your changes on the following line: -->
This PR renames XR to XRSystem.
---
<!-- 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 #25732
<!-- Either: -->
- [ ] There are tests for these changes OR
- [X] These changes do not require tests because it's the changing of a name (XR -> XRSystem)
<!-- 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/post_build_commands.py')
0 files changed, 0 insertions, 0 deletions