make/jprt.properties

changeset 387
80689ff9cb49
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
386:9b0f841ca9f7 387:80689ff9cb49

mercurial