make/jprt.properties

changeset 2902
2f17eb233d13
parent 2538
f7702f8c0e25
child 2912
03b943e6c025
equal deleted inserted replaced
2900:69c94f488271 2902:2f17eb233d13

mercurial