 Gered
|
1f68039507
|
minor tweak to startup file extracting console output
|
2017-04-14 12:43:30 -04:00 |
|
|
Gered
|
c0a65e037c
|
bit more of a robust method of checking if running on a 32-bit jvm
os.arch can have a wide variety of values (e.g. not just "x86" for
32 bit)
|
2017-04-14 12:40:48 -04:00 |
|
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 |
|