hedgewars/options.inc
changeset 515 270f10276d2e
parent 495 62c1c2b4414c
child 1066 1f1b3686a2b0
--- a/hedgewars/options.inc	Fri May 18 16:40:43 2007 +0000
+++ b/hedgewars/options.inc	Fri May 18 17:35:12 2007 +0000
@@ -19,7 +19,6 @@
 {$J+}
 
 {$DEFINE DEBUGFILE}
-{ $DEFINE COUNTTICKS}
 { $DEFINE DUMP}
 { $DEFINE TRACEAIACTIONS}