diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-12-02 19:07:23 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-02 19:07:23 -0500 |
| commit | 5bdea7dc1c80790a852a3fb03edfb2b8fbd403dc (patch) | |
| tree | d2db4d45d4a6f69fe3c74872e86f66716d25ecb2 /components/script/devtools.rs | |
| parent | d404a0cddd979feac883f1c6da432cd9e50c122f (diff) | |
| parent | 3ff55f9aaf8aca3699433f3ab487aea86f432a12 (diff) | |
| download | servo-5bdea7dc1c80790a852a3fb03edfb2b8fbd403dc.tar.gz servo-5bdea7dc1c80790a852a3fb03edfb2b8fbd403dc.zip | |
Auto merge of #22352 - emilio:gecko-sync, r=emilio
style: Sync changes from mozilla-central.
See each individual commit 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/22352)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/devtools.rs')
0 files changed, 0 insertions, 0 deletions