gameServer/Opts.hs
Fri, 24 Jan 2014 12:05:39 +0100 Gianfranco Costamagna Added copyrights to gameServer directory
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
less more (0) -10 -7 tip