diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-06-02 15:59:49 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-02 15:59:49 -0400 |
| commit | 07369c4c681da3d72755fac14124c81136c2b636 (patch) | |
| tree | 9b6195a7f49f137d1c5bb6c14cb585429f565e26 /components/script/lib.rs | |
| parent | 6a1cb940bf3b21c694b026755e78dbc9d02d7539 (diff) | |
| parent | ee6906443f9c60c60e38e6f6daaeb585fa886540 (diff) | |
| download | servo-07369c4c681da3d72755fac14124c81136c2b636.tar.gz servo-07369c4c681da3d72755fac14124c81136c2b636.zip | |
Auto merge of #26711 - skrzyp1:unminify-store-get, r=jdm
Support replacing external scripts with local copies from disk
<!-- 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
- [x] These changes fix #26456(GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [x] These changes do not require tests because ___
<!-- 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 'components/script/lib.rs')
0 files changed, 0 insertions, 0 deletions