make/jprt.properties

changeset 425
d3a65e8912c9
parent 289
5600254058a1
child 404
df5d4d016425
equal deleted inserted replaced
424:f6376ba97cea 425:d3a65e8912c9

mercurial