make/jprt.properties

changeset 235
5d9708346d50
parent 189
3821536d79ab
child 293
949fb60ca830
equal deleted inserted replaced
234:e6f42f5d6d60 235:5d9708346d50

mercurial