Statistics are now invalid (i.e. no displaying, no merging) after restarting a level...
[supertux.git] / contrib / kdevelop /
2006-03-25 Matthias Braununofficial kdevelop project