troll.git
2020-05-27 JBMUpgrade to engine 3.15.0
2020-05-27 JBMDocument length/distance duality and impending doom
2020-05-27 JBMDocument the maps
2020-05-20 JBMLink to contrib and forum
2020-05-20 JBMEnforce 1-stone rule. Animate defeats a bit more.
2020-05-20 JBMEarly termination
2020-05-20 JBMFill up statement
2020-05-20 JBMMore .gitignore
2020-05-20 JBMInitial commit