diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-03-19 14:40:03 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-19 14:40:03 -0400 |
commit | d9c84b74cdccbc983994b5d40496e2f90e9f882e (patch) | |
tree | d54e9c9536761c743e9402a5191b88172101d65b /python/servo/bootstrap.py | |
parent | ffdb83b644667c8e4916fcea3a94e77042bb1a9b (diff) | |
parent | cc75c6f5d43a4250ad129cced0b846ce7968fba2 (diff) | |
download | servo-d9c84b74cdccbc983994b5d40496e2f90e9f882e.tar.gz servo-d9c84b74cdccbc983994b5d40496e2f90e9f882e.zip |
Auto merge of #25988 - mrobinson:fix-doc, r=SimonSapin
layout_2020: Fix a documentation comment
I inadvertently failed to complete this doc comment.
<!-- 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
- [ ] These changes fix #___ (GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [x] These changes do not require tests because they don't change behavior.
<!-- 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/bootstrap.py')
0 files changed, 0 insertions, 0 deletions