servo/components/config
Kunal Mohan 94db0d61cb
Add support for launching devtools server on random port
Assign random port to devtools server in case user does not specify a
port explicitly and report it to the embedding layer for display to user.
2020-03-16 15:30:26 +05:30
..
tests Remove explicit dependency on serde_derive 2019-09-27 17:43:37 +02:00
basedir.rs Remove dirs crate from use in UWP builds. 2019-06-13 18:05:35 -04:00
Cargo.toml Upgrade to rustc 1.42.0-nightly (9b98af84c 2019-12-22) 2019-12-23 14:07:01 +01:00
lib.rs Upgrade to rustc 1.38.0-nightly (dddb7fca0 2019-07-30) 2019-07-31 13:34:01 +02:00
opts.rs Add support for launching devtools server on random port 2020-03-16 15:30:26 +05:30
pref_util.rs Upgrade to rustc 1.38.0-nightly (dddb7fca0 2019-07-30) 2019-07-31 13:34:01 +02:00
prefs.rs Auto merge of #25923 - iulianR:issue-22312, r=jdm 2020-03-09 17:33:15 -04:00