langtools/make/jprt.properties
changeset 5147 96642e83ad41
parent 2684 dd13095c13cb
child 5214 b71be6b1f652
equal deleted inserted replaced
5146:14e4cb8ed49a 5147:96642e83ad41