Hotfix: (from @pb4) a dead player isn't granted an early termination
[troll.git] / .gitignore
2020-05-27 JBMMessaging
2020-05-20 JBMEnforce 1-stone rule. Animate defeats a bit more.
2020-05-20 JBMMore .gitignore
2020-05-20 JBMInitial commit