make/jprt.properties

changeset 331
d043adadc8b6
parent 265
4030cc469205
child 526
f856c0942c06
equal deleted inserted replaced
330:631425840408 331:d043adadc8b6

mercurial