Menu

Commit [r5748]  Maximize  Restore  History

relax requirement on java version needed to make sure HJ can work whether java is 6 or 7

vincent_cave 2013-01-24

changed /branches/drjava-hj/drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
/branches/drjava-hj/drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB