diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-01-03 00:04:05 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-03 00:04:05 -0500 |
| commit | a42f2f4f18596552b123f22b2d546b6447eeea20 (patch) | |
| tree | f44619cbe9ef6f3dd2b209930fa8f3aaf0e564bf /components/script/dom/document.rs | |
| parent | e68585a26f21c70e70b85f9c79fc0edd0a12fb23 (diff) | |
| parent | 448f3c84a7a45d70681561735b376ccbe6a55ff0 (diff) | |
| download | servo-a42f2f4f18596552b123f22b2d546b6447eeea20.tar.gz servo-a42f2f4f18596552b123f22b2d546b6447eeea20.zip | |
Auto merge of #22595 - shanavas786:remove-virtualenv, r=jdm
Delete virtualenv when executing mach clean
Closes #22588
<!-- 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/22595)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/document.rs')
0 files changed, 0 insertions, 0 deletions