langtools/make/jprt.properties
changeset 5483 00a38a6a27bb
parent 5214 b71be6b1f652
child 5520 86e4b9a9da40
equal deleted inserted replaced
5482:955f6787b490 5483:00a38a6a27bb