diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-08-19 07:57:53 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-19 07:57:53 -0400 |
| commit | e7791f9a00ad51880d1b4cf06507fde146a5ca28 (patch) | |
| tree | a01da57ba25fb8319dc0b2713cfd545b2ea36014 /components/script/dom/documenttype.rs | |
| parent | 022cc93c226207dbcad24f0efff825c3370d0e63 (diff) | |
| parent | 142cdcd3fd27b9abdee994368b98c7adbcf22e96 (diff) | |
| download | servo-e7791f9a00ad51880d1b4cf06507fde146a5ca28.tar.gz servo-e7791f9a00ad51880d1b4cf06507fde146a5ca28.zip | |
Auto merge of #21452 - emilio:gecko-sync, r=emilio
style: Import 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/21452)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/documenttype.rs')
0 files changed, 0 insertions, 0 deletions