diff options
| author | bors-servo <release+servo@mozilla.com> | 2014-02-22 07:34:53 -0500 |
|---|---|---|
| committer | bors-servo <release+servo@mozilla.com> | 2014-02-22 07:34:53 -0500 |
| commit | 06ec7bad8906a7a1d957e758b4b56bb4b119e2d9 (patch) | |
| tree | fb607ea3f114359f485d9bd7ef97f135a2cb2107 /src/components/script/dom/htmlsourceelement.rs | |
| parent | 006237fed3c732148373a49211fc08dc8d215e5a (diff) | |
| parent | b74546958149558ff3982bafda78b40ec0ae6fbf (diff) | |
| download | servo-06ec7bad8906a7a1d957e758b4b56bb4b119e2d9.tar.gz servo-06ec7bad8906a7a1d957e758b4b56bb4b119e2d9.zip | |
auto merge of #1729 : Ms2ger/servo/clear-document-idl, r=jdm
I don't see a good reason to keep those around for now
Diffstat (limited to 'src/components/script/dom/htmlsourceelement.rs')
0 files changed, 0 insertions, 0 deletions