langtools/make/jprt.properties
changeset 10339 80d9f4bc094b
parent 6359 498e87a703a0
child 10195 a54f635a1f12
equal deleted inserted replaced
10338:ffaa7122547c 10339:80d9f4bc094b