make/jprt.properties

changeset 539
06e06ec0d6f2
parent 265
4030cc469205
child 526
f856c0942c06
equal deleted inserted replaced
524:737185f3300f 539:06e06ec0d6f2

mercurial