make/jprt.properties

changeset 221
88ac4daf5d0e
parent 189
3821536d79ab
child 293
949fb60ca830
equal deleted inserted replaced
210:42e77836fded 221:88ac4daf5d0e

mercurial