hedgewars/options.inc
changeset 80 3c3dc6a148ca
parent 4 bcbd7adb4e4b
child 183 57c2ef19f719
--- a/hedgewars/options.inc	Sun Jul 16 08:13:51 2006 +0000
+++ b/hedgewars/options.inc	Thu Jul 20 20:11:32 2006 +0000
@@ -35,4 +35,5 @@
 {$DEFINE DEBUGFILE}
 { $DEFINE COUNTTICKS}
 { $DEFINE DUMP}
+{ $DEFINE TRACEAIACTIONS}