make/jprt.properties

changeset 1214
765a17e75fd6
parent 1191
faa174d8bd68
child 1288
7801df19942d
child 1317
13af778d07bb
equal deleted inserted replaced
1213:4e2f3d0f33f5 1214:765a17e75fd6

mercurial