langtools/make/jprt.properties
changeset 7637 467bc8fc514e
parent 6359 498e87a703a0
child 10195 a54f635a1f12
equal deleted inserted replaced
7636:030f141aa32b 7637:467bc8fc514e