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
..
canvas	Reinstate errors for unused variables and imports.	2014-09-13 23:38:00 -06:00
compositing	Cleanup some code formatting in compositing/compositor.rs	2014-10-06 15:40:38 -07:00
devtools	Allow to specify port with --devtools option (fixes #3597)	2014-10-09 00:39:31 +11:00
devtools_traits	Disable non_snake_case warnings in devtools	2014-09-23 11:45:08 -07:00
gfx	auto merge of #3567 : mrobinson/servo/optimizer, r=zwarich	2014-10-03 16:27:25 -06:00
layout	Support [*|attr], attribute selectors in any namespace (fixes #1558)	2014-10-08 11:01:31 +02:00
layout_traits	Upgrade to rustc 0.12.0-pre (4d2af3861 2014-09-17 15:51:11 +0000)	2014-09-20 13:00:06 -07:00
msg	Use JSTraceable everywhere	2014-09-24 05:44:49 +05:30
net	Read user-agent.css at run time. Fix #3516	2014-10-07 21:16:54 +01:00
plugins	Upgrade to rustc d2b30f7d3 2014-09-23	2014-09-29 17:41:45 +01:00
script	auto merge of #3605 : Manishearth/servo/form-stuff, r=jdm	2014-10-08 03:42:34 -06:00
script_traits	Upgrade to rustc 0.12.0-pre (4d2af3861 2014-09-17 15:51:11 +0000)	2014-09-20 13:00:06 -07:00
style	Support [*|attr], attribute selectors in any namespace (fixes #1558)	2014-10-08 11:01:31 +02:00
util	Allow to specify port with --devtools option (fixes #3597)	2014-10-09 00:39:31 +11:00