make/jprt.properties

changeset 1679
75c16f3ee576
parent 1489
a9337b6024da
child 1859
8b0588603185
equal deleted inserted replaced
1678:a35cbc019d28 1679:75c16f3ee576

mercurial