diff options
| author | bors-servo <release+servo@mozilla.com> | 2014-04-25 10:28:13 -0400 |
|---|---|---|
| committer | bors-servo <release+servo@mozilla.com> | 2014-04-25 10:28:13 -0400 |
| commit | 4942cc76bd2c88e5fdc2b4de4c1ac4576100b455 (patch) | |
| tree | 26ab7ad8a7550d974c2714f6665bcc3164edf677 /src/components/script/dom/htmloptionelement.rs | |
| parent | 691d82a92fa099cff3dc8becb3d2c823db76eb81 (diff) | |
| parent | 06df4227184870037783cba2abf96409e91f0642 (diff) | |
| download | servo-4942cc76bd2c88e5fdc2b4de4c1ac4576100b455.tar.gz servo-4942cc76bd2c88e5fdc2b4de4c1ac4576100b455.zip | |
auto merge of #2231 : Ms2ger/servo/remove-holderType, r=jdm
It is always None.
Diffstat (limited to 'src/components/script/dom/htmloptionelement.rs')
0 files changed, 0 insertions, 0 deletions