make/jprt.properties

changeset 326
f157fc2a71a3
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
325:51d8b6cb18c0 326:f157fc2a71a3

mercurial