gameServer/CoreTypes.hs
branchui-scaling
changeset 15663 d92eeb468dad
parent 15445 88770c206c31
child 15699 27eb5abd5058
equal deleted inserted replaced
15283:c4fd2813b127 15663:d92eeb468dad
   311 newServerInfo =
   311 newServerInfo =
   312     ServerInfo
   312     ServerInfo
   313         True
   313         True
   314         False
   314         False
   315         "<h2><p align=center><a href=\"https://www.hedgewars.org/\">https://www.hedgewars.org/</a></p></h2>"
   315         "<h2><p align=center><a href=\"https://www.hedgewars.org/\">https://www.hedgewars.org/</a></p></h2>"
   316         "<font color=yellow><h3 align=center>Hedgewars 0.9.25 is out! Please update.</h3><p align=center><a href=https://hedgewars.org/download.html>Download page here</a></font>"
   316         "<font color=yellow><h3 align=center>Hedgewars 1.0.0 is out! Please update.</h3><p align=center><a href=https://hedgewars.org/download.html>Download page here</a></font>"
   317         57 -- latestReleaseVersion
   317         59 -- latestReleaseVersion
   318         41 -- earliestCompatibleVersion
   318         41 -- earliestCompatibleVersion
   319         46631
   319         46631
   320         ""
   320         ""
   321         ""
   321         ""
   322         ""
   322         ""