make/jprt.properties
changeset 31369 0c3dcc865a1c
parent 30545 56cccb06d21c
child 33926 3a19edba4808
child 31306 1755c790b94f
child 31319 6a96ae34c904
child 31322 50d324a110ee
equal deleted inserted replaced
31368:2cb1abbda511 31369:0c3dcc865a1c