Use run_dead_script wherever possible and make kill_* operations only do stuff once
[supertux.git] / contrib / kdevelop /
2006-03-25 Matthias Braununofficial kdevelop project