diff -r c72d37d4eb4e -r a8dcdeb88a43 hedgewars.kdevelop --- a/hedgewars.kdevelop Tue Oct 14 14:35:52 2008 +0000 +++ b/hedgewars.kdevelop Wed Oct 15 11:50:16 2008 +0000 @@ -213,7 +213,7 @@ false - + true false