diff options
| author | bors-servo <metajack+bors@gmail.com> | 2014-10-22 01:27:36 -0600 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2014-10-22 01:27:36 -0600 |
| commit | 213178b6b9413cd461b45c1b3275562fa4b604c1 (patch) | |
| tree | eb5a4a0eb9fe0a9d59f5a0f7d199658d682081a4 /components | |
| parent | fe230ef37deaed2d6631af58ab923db023dcf319 (diff) | |
| parent | d530e8def9a698c9af04ecbf1139683e38eedc9c (diff) | |
| download | servo-213178b6b9413cd461b45c1b3275562fa4b604c1.tar.gz servo-213178b6b9413cd461b45c1b3275562fa4b604c1.zip | |
auto merge of #3742 : saneyuki/servo/opt, r=jdm
This follows up #3711.
Diffstat (limited to 'components')
| -rw-r--r-- | components/util/opts.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/components/util/opts.rs b/components/util/opts.rs index 1678f5fa96b..4b75a120d48 100644 --- a/components/util/opts.rs +++ b/components/util/opts.rs @@ -130,7 +130,6 @@ pub fn from_cmdline_args(args: &[String]) -> bool { getopts::optflag("c", "cpu", "CPU painting (default)"), getopts::optflag("g", "gpu", "GPU painting"), getopts::optopt("o", "output", "Output file", "output.png"), - getopts::optopt("r", "rendering", "Rendering backend", "direct2d|core-graphics|core-graphics-accelerated|cairo|skia."), getopts::optopt("s", "size", "Size of tiles", "512"), getopts::optopt("", "device-pixel-ratio", "Device pixels per px", ""), getopts::optflag("e", "experimental", "Enable experimental web features"), |