gameServer/hedgewars-server.cabal
changeset 4974 078cd026a7b1
parent 4904 0eab727d4717
child 5030 42746c5d4a80
--- a/gameServer/hedgewars-server.cabal	Mon Feb 28 22:04:10 2011 +0300
+++ b/gameServer/hedgewars-server.cabal	Mon Feb 28 22:28:43 2011 +0300
@@ -28,6 +28,7 @@
     dataenc,
     hslogger,
     process,
-    deepseq
+    deepseq,
+    tconfig
 
   ghc-options: -O2