make/jprt.properties

changeset 458
d4e0ae9b4ecb
parent 265
4030cc469205
child 526
f856c0942c06
equal deleted inserted replaced
457:0220a3ab1a40 458:d4e0ae9b4ecb

mercurial