make/jprt.properties

changeset 505
87eb6edd4f21
parent 265
4030cc469205
child 526
f856c0942c06
equal deleted inserted replaced
504:6eca0895a644 505:87eb6edd4f21

mercurial