make/jprt.properties

changeset 458
c8d320b48626
parent 443
df998cd4d51d
child 490
4bde5640fb36
equal deleted inserted replaced
455:633f2378c904 458:c8d320b48626

mercurial