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