make/jprt.properties

changeset 1633
4ad71baca90c
parent 1489
a9337b6024da
child 1859
8b0588603185
equal deleted inserted replaced
1630:8bc3162917ea 1633:4ad71baca90c

mercurial