langtools/make/jprt.properties
changeset 4987 5b7352dd6a2f
parent 2684 dd13095c13cb
child 5214 b71be6b1f652
equal deleted inserted replaced
4986:25108bab43ad 4987:5b7352dd6a2f