make/jprt.properties

changeset 536
8d07115924b7
parent 530
a259ff3e42d9
equal deleted inserted replaced
532:d425685e0b74 536:8d07115924b7

mercurial