make/jprt.properties

changeset 312
e59c47de1ad8
parent 293
949fb60ca830
child 321
75529c21094f

    

mercurial