make/jprt.properties
changeset 27023 818f8a0c5d9d
parent 26790 d0a247d1f2a8
child 27588 3506509c4f63
child 27597 1fb6ebaa4f9d
child 27560 adc258b13e2c
equal deleted inserted replaced
27022:2db6fe33afc2 27023:818f8a0c5d9d