Closed cmaeder closed 8 years ago
@cmaeder please try to merge into dev in the future, that is where all my changes go first since they could break things.
you merged to early, travis complained. I've also changed the case of "MMT.jar". The point of PRs is review.
@tkw1536 please merge (fixes #284)