gameServer/Opts.hs
Sun, 15 May 2011 18:16:13 +0400 unc0rr Pass correct arguments on restart
Sun, 06 Mar 2011 21:54:37 +0300 unc0rr - Write server config into .ini file on change
Thu, 03 Mar 2011 22:15:13 +0300 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)
Wed, 23 Feb 2011 18:38:11 +0300 unc0rr Remove deprecated statistics MVar
Sun, 06 Feb 2011 21:50:29 +0300 unc0rr - Take into account hlint suggestions
Wed, 02 Feb 2011 21:23:12 +0300 unc0rr Fix merge :D
Sun, 19 Dec 2010 13:31:55 -0500 nemo Ok. This should pull 0.9.14.1 server into default
less more (0) -10 -7 tip