diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-01-15 12:12:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-15 12:12:55 -0500 |
| commit | fde83f733defe87c5450a59ab3d7bfa2bdc4a38a (patch) | |
| tree | 92b8320c2b2e5e46310f6307c1961d564f78c860 /components/script/dom/mod.rs | |
| parent | a6c7fc426cfe3b96a3494432883d07d439d19b50 (diff) | |
| parent | de766ca3c0af1833333a670f71383cbc9ca05713 (diff) | |
| download | servo-fde83f733defe87c5450a59ab3d7bfa2bdc4a38a.tar.gz servo-fde83f733defe87c5450a59ab3d7bfa2bdc4a38a.zip | |
Auto merge of #22690 - shanavas786:skip-gstreamer-dir, r=jdm
Exclude gstreamer from tidiness check
<!-- 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: -->
- [ ] `./mach build -d` does not report any errors
- [ ] `./mach test-tidy` does not report any errors
- [x] These changes fix ##22689
<!-- Either: -->
- [x] These changes do not require tests
<!-- 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. -->
<!-- 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/22690)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/mod.rs')
0 files changed, 0 insertions, 0 deletions