make/jprt.properties

changeset 315
7da69e7175a7
parent 293
949fb60ca830
child 321
75529c21094f
equal deleted inserted replaced
314:44c269731425 315:7da69e7175a7

mercurial