3 commits

Author	SHA1	Message	Date
gered	9cefd694d6	remove bwapi/bwta headers, include them from user's environment	2017-04-11 22:52:34 -04:00
Gered	c106d4b22b	remove BWAPI3 support	2017-04-11 10:48:21 -04:00
vjurenka	d86336dad3	BWMirror v1.2	2014-12-13 18:33:26 +01:00