make/jprt.properties

changeset 1506
4d7edad1db6f
parent 1317
13af778d07bb
child 1482
8fb429038513
child 1489
a9337b6024da
equal deleted inserted replaced
1505:0d52452a4fa5 1506:4d7edad1db6f

mercurial