diff -r 503758a35c02 -r 62c1c2b4414c hedgewars/options.inc --- a/hedgewars/options.inc Mon Feb 26 17:09:13 2007 +0000 +++ b/hedgewars/options.inc Sun Mar 11 17:19:28 2007 +0000 @@ -18,7 +18,7 @@ {$J+} -{ $DEFINE DEBUGFILE} +{$DEFINE DEBUGFILE} { $DEFINE COUNTTICKS} { $DEFINE DUMP} { $DEFINE TRACEAIACTIONS}