make/jprt.properties

changeset 2196
11742f409232
parent 1489
a9337b6024da
child 1859
8b0588603185
equal deleted inserted replaced
2195:7c9dc90681b8 2196:11742f409232

mercurial