4 commits

Author	SHA1	Message	Date
Gered	c106d4b22b	remove BWAPI3 support	2017-04-11 10:48:21 -04:00
vjurenka	3e067cf841	bwapi 4 cleanup	2015-02-10 16:47:28 +01:00
vjurenka	288d6b6c75	bwapi4 almost done	2015-02-09 16:58:08 +01:00
vjurenka	05901f5562	BWAPI4 experimental support & BWMIrror 1.1 generator	2014-11-13 18:17:06 +01:00