rust/hedgewars-server/src/main.rs
changeset 14793 9de13d9a6312
parent 14792 38e66519e585
child 14794 fc2cfec95d86
equal deleted inserted replaced
14792:38e66519e585 14793:9de13d9a6312
     1 #![feature(self_struct_ctor)] 
       
     2 #![allow(unused_imports)]
     1 #![allow(unused_imports)]
     3 #![deny(bare_trait_objects)]
     2 #![deny(bare_trait_objects)]
     4 
     3 
     5 extern crate getopts;
     4 extern crate getopts;
     6 use getopts::Options;
     5 use getopts::Options;