diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-06-15 05:24:17 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-15 05:24:17 -0700 |
commit | 4b633c8637ec8bf5da7538a04506941325807701 (patch) | |
tree | 0528d36434499567c7aa7e1b6b4485a6bede8406 /components/script/dom/webidls/HTMLTableHeaderCellElement.webidl | |
parent | b0392dbf39d36f19cd16ec06e29b6aca6e6135e2 (diff) | |
parent | 9f03553ed593a7b4011b10a2266cee8bef125bd5 (diff) | |
download | servo-4b633c8637ec8bf5da7538a04506941325807701.tar.gz servo-4b633c8637ec8bf5da7538a04506941325807701.zip |
Auto merge of #17337 - servo:derive-all-the-things, r=emilio
Use CustomIdent in more properties
<!-- 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/17337)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webidls/HTMLTableHeaderCellElement.webidl')
0 files changed, 0 insertions, 0 deletions