gameServer/OfficialServer/extdbinterface.hs
Wed, 02 Feb 2011 21:23:47 +0300 unc0rr Fix even more
Sun, 19 Dec 2010 13:31:55 -0500 nemo Ok. This should pull 0.9.14.1 server into default
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) -10 -3 tip