diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-08-18 20:35:54 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-18 20:35:54 -0400 |
commit | 96ce8a7e9bb6807816225b72eb4e9923e8ee1602 (patch) | |
tree | 7cfb261b61282b146d8a8e6a624174a71aaaf59a /components/script/dom/window.rs | |
parent | cd0e7e7ebbe1e43ccc4f17c4c37ca6be4f4a27cd (diff) | |
parent | 53f2a2a446ab4046167add2cfc315f30b121c904 (diff) | |
download | servo-96ce8a7e9bb6807816225b72eb4e9923e8ee1602.tar.gz servo-96ce8a7e9bb6807816225b72eb4e9923e8ee1602.zip |
Auto merge of #21433 - servo:jdm-patch-17, r=jdm
Clean more build artifacts.
This should help with disk usage errors on linux.
<!-- 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/21433)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/window.rs')
0 files changed, 0 insertions, 0 deletions