Merge remote-tracking branch 'origin/development' into development
[Mograsim.git] / LogicUI / build.properties
2019-05-23 Daniel KirschtenDowngraded LogicUI to Java 8; converted era.mi and...