make/jprt.properties

changeset 289
bba0e37d7006
parent 189
3821536d79ab
child 293
949fb60ca830
equal deleted inserted replaced
285:770227a4087e 289:bba0e37d7006

mercurial