make/jprt.properties

changeset 421
79c13af9217e
parent 265
4030cc469205
child 526
f856c0942c06
equal deleted inserted replaced
420:1a66b08deed0 421:79c13af9217e

mercurial