make/jprt.properties

changeset 1758
e9717f2ad7f1
parent 1489
a9337b6024da
child 1859
8b0588603185
equal deleted inserted replaced
1757:f21deed33e56 1758:e9717f2ad7f1

mercurial