make/jprt.properties

changeset 1956
48a5a43b3197
parent 1489
a9337b6024da
child 1859
8b0588603185
equal deleted inserted replaced
1955:bb1d568e95ee 1956:48a5a43b3197

mercurial