diff options
| author | Brian Anderson <banderson@mozilla.com> | 2011-11-17 16:27:46 -0800 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2011-11-18 10:32:27 -0800 |
| commit | 63d40b8ab661ae1921bac26e0e4c72fb0ce57586 (patch) | |
| tree | 398de5cc70785252310f97a0af47043b61176fb2 /doc/tutorial/lib/codemirror-node.js | |
| parent | d52888f0badf05e183368ac6ba221691e8e2a130 (diff) | |
rt: Remove some unnecessary setting of rust_task::killed
The value of this variable doesn't matter after the task fails.
Diffstat (limited to 'doc/tutorial/lib/codemirror-node.js')
0 files changed, 0 insertions, 0 deletions