diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-07-30 08:11:07 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-30 08:11:07 -0400 |
| commit | b3441af80a0358fce52d06c2e843bdca2306e19e (patch) | |
| tree | a2d23ee7f23c91322d6f877f14502cc301557c37 /python/servo/build_commands.py | |
| parent | 570788610fd3c70f142ea44104d88381ba4b7cfa (diff) | |
| parent | 46236d015bb1f92e05c25e13c88c14645b01b719 (diff) | |
| download | servo-b3441af80a0358fce52d06c2e843bdca2306e19e.tar.gz servo-b3441af80a0358fce52d06c2e843bdca2306e19e.zip | |
Auto merge of #23892 - emilio:enginegeddon, r=SimonSapin
style: Sync changes from mozilla-central.
See individual commits for details.
<!-- 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/23892)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions