make/jprt.properties
changeset 50026 e81481fea884
parent 48303 43064ad4a21e
child 50113 caf115bb98ad
equal deleted inserted replaced
50025:caf05d64138f 50026:e81481fea884