gameServer/CoreTypes.hs
changeset 3283 18ee933a5864
parent 3260 b44b88908758
child 3300 4adaad1d5027
equal deleted inserted replaced
3282:9ca28cef559a 3283:18ee933a5864
   148 newServerInfo = (
   148 newServerInfo = (
   149     ServerInfo
   149     ServerInfo
   150         True
   150         True
   151         "<h2><p align=center><a href=\"http://www.hedgewars.org/\">http://www.hedgewars.org/</a></p></h2>"
   151         "<h2><p align=center><a href=\"http://www.hedgewars.org/\">http://www.hedgewars.org/</a></p></h2>"
   152         "<font color=yellow><h3>Hedgewars 0.9.12 is out! Please update.</h3><p align=center><a href=http://hedgewars.org/download.html>Download page here</a></font>"
   152         "<font color=yellow><h3>Hedgewars 0.9.12 is out! Please update.</h3><p align=center><a href=http://hedgewars.org/download.html>Download page here</a></font>"
       
   153         31
   153         46631
   154         46631
   154         30
       
   155         0
   155         0
   156         ""
   156         ""
   157         ""
   157         ""
   158         ""
   158         ""
   159         []
   159         []