gameServer/Opts.hs
Mon, 10 Aug 2015 03:53:11 +0200 sheepluva more copyright fixes
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
Sun, 19 Dec 2010 13:31:55 -0500 nemo Ok. This should pull 0.9.14.1 server into default
Sun, 14 Nov 2010 15:06:02 -0500 nemo merge 0.9.14.1 to trunk
Sun, 14 Nov 2010 20:06:47 +0100 koda fix compilation server for me 0.9.14.1
Fri, 12 Nov 2010 18:57:36 -0500 nemo This revision should, in theory, correctly merge 0.9.14 and tip, so that future merges of 0.9.14 should work properly
less more (0) -12 tip