gameServer/CoreTypes.hs
changeset 3300 4adaad1d5027
parent 3283 18ee933a5864
child 3425 ead2ed20dfd4
equal deleted inserted replaced
3299:aff2315a2843 3300:4adaad1d5027
   147 
   147 
   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 align=center>Hedgewars 0.9.13 is out! Please update.</h3><p align=center><a href=http://hedgewars.org/download.html>Download page here</a></font>"
   153         31
   153         31
   154         46631
   154         46631
   155         0
   155         0
   156         ""
   156         ""
   157         ""
   157         ""