langtools/make/jprt.properties
changeset 2863 ef8439ec732b
parent 2684 dd13095c13cb
child 5214 b71be6b1f652
equal deleted inserted replaced
2747:9988d908a2b2 2863:ef8439ec732b