Robin Stocker 8a5c6a0d3b Allow to specify port with --devtools option (fixes #3597) ... Note that using `servo --devtools http://example.org` doesn't work. In that case either the port must be specified or the option moved to the end. This is done by getopts and is the same for other such options, e.g. `--profile`.		2014-10-09 00:39:31 +11:00
..
actors	Upgrade to rustc d2b30f7d3 2014-09-23	2014-09-29 17:41:45 +01:00
actor.rs	Use std::intrinsics::TypeId	2014-10-01 13:56:34 -04:00
Cargo.toml	Enable executing JS snippets in the context of the main Servo window and viewing the responses from the Firefox remote console.	2014-09-18 15:06:40 -04:00
lib.rs	Allow to specify port with --devtools option (fixes #3597)	2014-10-09 00:39:31 +11:00
protocol.rs	Split devtools implementation into sensible modules.	2014-09-18 15:06:40 -04:00