Revert "Possible fix for coverity #29375"
[supertux.git] / contrib / kdevelop /
2006-03-25 Matthias Braununofficial kdevelop project