gameServer/Opts.hs
2011-05-15 unc0rr Pass correct arguments on restart
2011-03-06 unc0rr - Write server config into .ini file on change
2011-03-03 unc0rr Use Data.TConfig to read and store server config in hedgewars.ini (a little bit of hate to the author for not exporting Conf type)
2011-02-23 unc0rr Remove deprecated statistics MVar
2011-02-06 unc0rr - Take into account hlint suggestions
2011-02-02 unc0rr Fix merge :D
2010-12-19 nemo Ok. This should pull 0.9.14.1 server into default
less more (0) -10 -7 tip