diff options
author | bors-servo <release+servo@mozilla.com> | 2014-06-13 08:10:57 -0400 |
---|---|---|
committer | bors-servo <release+servo@mozilla.com> | 2014-06-13 08:10:57 -0400 |
commit | 58b776e0b559cd08db9ecb44dd0b1bbea731af57 (patch) | |
tree | 70026a22ba530ff278c95458ad1508fb90ee588d /src/components/script/script.rs | |
parent | 5378871e6724d307c411f3d2b3aa79c5cc0af8b7 (diff) | |
parent | e21faaaba7fa76e5e846ca8c9879e1dc469bac1f (diff) | |
download | servo-58b776e0b559cd08db9ecb44dd0b1bbea731af57.tar.gz servo-58b776e0b559cd08db9ecb44dd0b1bbea731af57.zip |
auto merge of #2646 : Manishearth/servo/cleartimeout-opt, r=jdm
Diffstat (limited to 'src/components/script/script.rs')
0 files changed, 0 insertions, 0 deletions