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

Remove str_to_string lint

Browse source 
Specialization makes all of the options equally efficient.
This commit is contained in:
Manish Goregaokar 2016-04-08 06:38:21 +05:30
parent c0aa049b0a
commit efa84862af
No known key found for this signature in database
GPG key ID: 3BBF4D3E2EF79F98
4 changed files with 0 additions and 51 deletions
Download patch file Download diff file Expand all files Collapse all files

1
components/util/opts.rs
View file

@ -518,7 +518,6 @@ pub fn default_opts() -> Opts {
}
}
#[allow(str_to_string)]
pub fn from_cmdline_args(args: &[String]) -> ArgumentParsingResult {
let (app_name, args) = args.split_first().unwrap();