make/jprt.properties

changeset 427
191afde59e7b
parent 321
75529c21094f
child 505
428428cf5e06
equal deleted inserted replaced
426:cb40427f4714 427:191afde59e7b

mercurial