diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-04-12 11:11:23 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-12 11:11:23 -0500 |
commit | bc9d7863b6763e59f7efed3d5c9870b19bafb195 (patch) | |
tree | f6ad68446155b4d27d88a9429e9ee73eda1de04c /python/servo/util.py | |
parent | 0912bd06d7c5f5560de43a47b2f15002f334a533 (diff) | |
parent | 11f227b4fff8e832f1bd140ee7db70d10475aea0 (diff) | |
download | servo-bc9d7863b6763e59f7efed3d5c9870b19bafb195.tar.gz servo-bc9d7863b6763e59f7efed3d5c9870b19bafb195.zip |
Auto merge of #16348 - ferjm:issue-14824-unminify-js, r=jdm
Unminify JS and dump it to a file before executing it
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #14824
<!-- 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/16348)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/util.py')
0 files changed, 0 insertions, 0 deletions