make/jprt.properties

changeset 432
58be6ca3c060
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
430:4a6be02e66a3 432:58be6ca3c060

mercurial