Hotfix: (from @pb4) a dead player isn't granted an early termination
[troll.git] / config /
drwxr-xr-x   ..
-rw-r--r-- 1063 Boss.java
-rw-r--r-- 39 config.ini
-rw-r--r-- 12772 statement_en.html
-rw-r--r-- 809 stub.txt