gameServer/CoreTypes.hs
changeset 9990 c8443c53eb33
parent 9989 a9695e8dc8d2
child 10037 e8c7fe93f5dd
child 10041 82d062e36e96
equal deleted inserted replaced
9989:a9695e8dc8d2 9990:c8443c53eb33
   211                 ["+rnd+", "0", "0", "seed", "0"]
   211                 ["+rnd+", "0", "0", "seed", "0"]
   212         )
   212         )
   213         (
   213         (
   214             Map.fromList $ Prelude.zip
   214             Map.fromList $ Prelude.zip
   215                 ["SCHEME", "SCRIPT", "Theme"]
   215                 ["SCHEME", "SCRIPT", "Theme"]
   216                 [["Default"], ["Normal"], "Theme"]
   216                 [["Default"], ["Normal"], ["Theme"]]
   217         )
   217         )
   218 
   218 
   219 
   219 
   220 data StatisticsInfo =
   220 data StatisticsInfo =
   221     StatisticsInfo
   221     StatisticsInfo