Hotfix: (from @pb4) a dead player isn't granted an early termination
[troll.git] / .gitignore
1 .idea/
2 target/
3 .settings
4 .classpath
5 .project
6 .vscode
7 .factorypath
8 bin
9 *~