langtools/make/jprt.properties
changeset 7001 29153e4d6044
parent 6359 498e87a703a0
child 10195 a54f635a1f12
equal deleted inserted replaced
7000:5ddef688a02d 7001:29153e4d6044