make/jprt.properties

changeset 524
ec187d02c95e
parent 490
4bde5640fb36
child 528
ab1ab9b148dd

    

mercurial