gameServer/hedgewars-server.hs
changeset 4974 078cd026a7b1
parent 4973 53411a26df7e
child 4975 31da8979e5b1
equal deleted inserted replaced
4973:53411a26df7e 4974:078cd026a7b1
    13 #endif
    13 #endif
    14 -----------------------------------
    14 -----------------------------------
    15 import Opts
    15 import Opts
    16 import CoreTypes
    16 import CoreTypes
    17 import ServerCore
    17 import ServerCore
       
    18 import ConfigFile
    18 
    19 
    19 #if !defined(mingw32_HOST_OS)
    20 #if !defined(mingw32_HOST_OS)
    20 import System.Posix
    21 import System.Posix
    21 #endif
    22 #endif
    22 
    23