Dennis Weinberger 4cea4b3715 Update BasicAI.java - Jokers		2019-03-26 17:45:38 +00:00
..
res	Replace add_troops_joker_disabled.png	2019-03-26 01:45:12 +00:00
src	Update BasicAI.java - Jokers	2019-03-26 17:45:38 +00:00
.classpath	Real rename	2019-02-12 19:22:33 +01:00
.project	Real rename	2019-02-12 19:22:33 +01:00