make/jprt.properties
changeset 51264 cf34c71ca27c
parent 50113 caf115bb98ad
equal deleted inserted replaced
51263:b5aac518b097 51264:cf34c71ca27c