Stop music when the game ends
[naja.git] / tools /
drwxr-xr-x   ..
-rwxr-xr-x 695 gen_json.py
-rwxr-xr-x 1020 gen_sound.py