Fix for coverity #29370
[supertux.git] / contrib / kdevelop /
2006-03-25 Matthias Braununofficial kdevelop project