make/jprt.properties

changeset 2497
3582bf76420e
parent 2426
e24ab3fa6aaf
child 2508
b92c45f2bc75
child 2535
59e20a452a2a
equal deleted inserted replaced
2496:27e4ea99855d 2497:3582bf76420e

mercurial