# HG changeset patch # User unc0rr # Date 1270367401 0 # Node ID 4adaad1d502777527c626a6ae85419df11e86f59 # Parent aff2315a2843b43c72928fbbc60080a521d5c734 Better default values diff -r aff2315a2843 -r 4adaad1d5027 gameServer/CoreTypes.hs --- a/gameServer/CoreTypes.hs Sat Apr 03 16:32:48 2010 +0000 +++ b/gameServer/CoreTypes.hs Sun Apr 04 07:50:01 2010 +0000 @@ -149,7 +149,7 @@ ServerInfo True "

http://www.hedgewars.org/

" - "

Hedgewars 0.9.12 is out! Please update.

Download page here" + "

Hedgewars 0.9.13 is out! Please update.

Download page here" 31 46631 0