make/jprt.properties

changeset 260
48ef0c712e7c
parent 189
3821536d79ab
child 293
949fb60ca830
equal deleted inserted replaced
259:e0b72ae5dc5e 260:48ef0c712e7c

mercurial