diff -r 2c522c1ded31 -r ab76fd68320e hedgewars.kdevelop --- a/hedgewars.kdevelop Wed Jul 30 12:20:14 2008 +0000 +++ b/hedgewars.kdevelop Wed Jul 30 14:00:31 2008 +0000 @@ -213,7 +213,7 @@ false - + true false