make/jprt.properties

changeset 519
a23282f17d0b
parent 265
4030cc469205
child 526
f856c0942c06
equal deleted inserted replaced
517:117c95448ab9 519:a23282f17d0b

mercurial