fix bug with player not stopping when deactivated, make key support code simpler
[supertux.git] / data / scripts / default.nut
index 106e7ba..a4f3aff 100644 (file)
@@ -4,7 +4,6 @@
  */
 
 
-// TODO: move this to world2
 function end_level()
 {
   play_music("music/leveldone.ogg");