3 commits

Author	SHA1	Message	Date
gered	927ac86c9d	convert majority of Mirror.startGame to Java code	2017-04-12 21:45:14 -04:00
Gered	13ff030393	temporary fix for javadoc issues, will revisit later	2017-04-12 12:32:18 -04:00
gered	9cefd694d6	remove bwapi/bwta headers, include them from user's environment	2017-04-11 22:52:34 -04:00

Renamed from manual-bwapi/Mirror.java (Browse further)