make/jprt.properties

changeset 392
5a5eaf6374bc
parent 389
9acd7374ff8a
child 398
0f653ee93477
equal deleted inserted replaced
391:237bc29afbfc 392:5a5eaf6374bc

mercurial