Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-25 08:10:21 +01:00
Code Issues Projects Releases Packages Wiki Activity

Warning police.

Browse source 
Closes #6949.
This commit is contained in:
Josh Matthews 2015-08-03 23:54:50 -04:00 • committed by Simon Sapin
parent 0565df8596
commit 039929da5c
3 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
components/script/devtools.rs
View file

@ -7,7 +7,6 @@ use devtools_traits::{EvaluateJSReply, NodeInfo, Modification, TimelineMarker, T
use devtools_traits::{ConsoleAPI, PageError};
use dom::bindings::conversions::jsstring_to_str;
use dom::bindings::conversions::FromJSValConvertible;
use dom::bindings::conversions::StringificationBehavior;
use dom::bindings::js::Root;
use dom::bindings::codegen::InheritTypes::{NodeCast, ElementCast};
use dom::bindings::codegen::Bindings::DocumentBinding::DocumentMethods;