# HG changeset patch # User unc0rr # Date 1172240813 0 # Node ID 7ef6a98f0edebc953f366bb138cd566fb42d52ef # Parent 7ea71cd3acd510dbd025db594321f1c1fb99907a Engine debug file off diff -r 7ea71cd3acd5 -r 7ef6a98f0ede hedgewars/options.inc --- a/hedgewars/options.inc Fri Feb 23 14:24:32 2007 +0000 +++ b/hedgewars/options.inc Fri Feb 23 14:26:53 2007 +0000 @@ -18,7 +18,7 @@ {$J+} -{$DEFINE DEBUGFILE} +{ $DEFINE DEBUGFILE} { $DEFINE COUNTTICKS} { $DEFINE DUMP} { $DEFINE TRACEAIACTIONS}