diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-07-14 06:39:37 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-14 06:39:37 -0700 |
| commit | 86b2104f11ce1070818e07728160085914521aa0 (patch) | |
| tree | c9f7260548192054448040262d9fddcdf7f34ddc /python/tidy/servo_tidy/tidy.py | |
| parent | 2cab84614068c7c42eb4d354b288637c9fa00d5e (diff) | |
| parent | 06ab3e01581ce8f068c2d17459f3f47b11c1a9f4 (diff) | |
| download | servo-86b2104f11ce1070818e07728160085914521aa0.tar.gz servo-86b2104f11ce1070818e07728160085914521aa0.zip | |
Auto merge of #12444 - servo:fetch-script, r=jdm
Improve the readability of the script fetching code.
<!-- 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/12444)
<!-- Reviewable:end -->
Diffstat (limited to 'python/tidy/servo_tidy/tidy.py')
0 files changed, 0 insertions, 0 deletions