]> rtime.felk.cvut.cz Git - orte.git/history - orte/java/build.xml
Do not use ugly directory names for Java build results
[orte.git] / orte / java / build.xml
2013-10-28 Michal SojkaDo not use ugly directory names for Java build results
2013-09-23 Martin VajnarJORTE: update required Java API version
2005-10-31 smolikupgrade to new version 0.3.1
2005-02-23 smolikNew ORTE version 0.3.0 committed