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

Auto merge of #6027 - Adenilson:unusedOpts01, r=jdm

Browse source 
Seems to be a left over from quite some time ago.

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6027)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2015-05-12 21:25:58 -05:00
commit e7db42f931
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

@ -258,7 +258,6 @@ pub fn from_cmdline_args(args: &[String]) -> bool {
getopts::optopt("u", "user-agent", "Set custom user agent string", "NCSA Mosaic/1.0 (X11;SunOS 4.1.4 sun4m)"),
getopts::optopt("Z", "debug", "A comma-separated string of debug options. Pass help to show available options.", ""),
getopts::optflag("h", "help", "Print this message"),
getopts::optopt("r", "render-api", "Set the rendering API to use", "gl|mesa"),
getopts::optopt("", "resources-path", "Path to find static resources", "/home/servo/resources"),
getopts::optflag("", "sniff-mime-types" , "Enable MIME sniffing"),
);