diff options
author | bors-servo <release+servo@mozilla.com> | 2014-01-17 06:07:33 -0800 |
---|---|---|
committer | bors-servo <release+servo@mozilla.com> | 2014-01-17 06:07:33 -0800 |
commit | f5ee8270f46d27b5040392804a590d7914605999 (patch) | |
tree | cab6fd8e9df43f0ac29786e8fb29106a9f4ea1ed /src/components/script/dom/bindings/codegen/HTMLTableElement.webidl | |
parent | 156461e4ce03ba60dde0a3295e39558045def49f (diff) | |
parent | cdf29d4394f2ed2cfa4043cc0a55035e8cb8d6e8 (diff) | |
download | servo-f5ee8270f46d27b5040392804a590d7914605999.tar.gz servo-f5ee8270f46d27b5040392804a590d7914605999.zip |
auto merge of #1518 : brunoabinader/servo/remove-document-title, r=Ms2ger
There is no current use for this variable.
This is a subtask for #1428.
Diffstat (limited to 'src/components/script/dom/bindings/codegen/HTMLTableElement.webidl')
0 files changed, 0 insertions, 0 deletions