diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2016-11-09 03:07:54 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-09 03:07:54 -0600 |
commit | 28fbae17b7e658f2c3717a4ff94033af61d71b05 (patch) | |
tree | c0c5092ee846dcf9ac1ac4b560afa0892b266ee0 /components/script/dom/htmlspanelement.rs | |
parent | 3b298564e126992f8301980b7213495416da60d1 (diff) | |
parent | 8ab6f74592e26949b7a457a6dd825820a56dfb02 (diff) | |
download | servo-28fbae17b7e658f2c3717a4ff94033af61d71b05.tar.gz servo-28fbae17b7e658f2c3717a4ff94033af61d71b05.zip |
Auto merge of #14132 - servo:debug-devtools, r=jdm
Derive Debug on devtools_traits types.
<!-- 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/14132)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlspanelement.rs')
0 files changed, 0 insertions, 0 deletions