2 commits

Author	SHA1	Message	Date
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