fix bug with player not stopping when deactivated, make key support code simpler
[supertux.git] / data / levels /
drwxr-xr-x   ..
drwxr-xr-x - bonus1
drwxr-xr-x - bonus2
drwxr-xr-x - misc
drwxr-xr-x - test
drwxr-xr-x - world1
drwxr-xr-x - world2