make/jprt.properties

changeset 6565
4a35ef38e2a7
parent 5953
384c92148c68
child 6489
50fdb38839eb
equal deleted inserted replaced
6564:374b6d3ff1e3 6565:4a35ef38e2a7

mercurial