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

auto merge of #3742 : saneyuki/servo/opt, r=jdm

Browse source 
This follows up #3711.
This commit is contained in:
bors-servo 2014-10-22 01:27:36 -06:00
commit 213178b6b9
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
components/util/opts.rs
View file

@ -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"),