Hotfix: (from @pb4) a dead player isn't granted an early termination
[troll.git] / pom.xml
2020-05-28 JBMLint compilation. Probably. Thanks @Zorg1!
2020-05-27 JBMAdd debug mode for @pb4. Also ensure it's useless by
2020-05-27 JBMUpgrade to engine 3.15.0
2020-05-20 JBMInitial commit