gameServer/hedgewars-server.cabal
branchwebgl
changeset 7975 1a8308265fdd
parent 7751 8c7f5c43ea5e
child 9127 e350500c4edb
--- a/gameServer/hedgewars-server.cabal	Mon Nov 05 02:24:28 2012 +0100
+++ b/gameServer/hedgewars-server.cabal	Wed Nov 07 13:31:58 2012 +0000
@@ -16,7 +16,6 @@
 
   Build-depends:
     base >= 4.3,
-    unix,
     containers,
     vector,
     bytestring,