langtools/make/jprt.properties
changeset 12424 32365a68919e
parent 12084 b367473ef0f1
child 13631 dc1212c348f9
equal deleted inserted replaced
12423:a69d7fadb9f8 12424:32365a68919e