Hotfix: (from @pb4) a dead player isn't granted an early termination
[troll.git] / src /
drwxr-xr-x   ..
drwxr-xr-x - main
drwxr-xr-x - test