make/jprt.properties

changeset 418
54d599a5b4aa
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
415:b450c07849ab 418:54d599a5b4aa

mercurial