make/jprt.properties
changeset 31293 9b8258eb95a9
parent 30545 56cccb06d21c
child 33926 3a19edba4808
child 31306 1755c790b94f
child 31319 6a96ae34c904
child 31322 50d324a110ee
equal deleted inserted replaced
31291:b306e63a00e5 31293:9b8258eb95a9