make/jprt.properties

changeset 2290
33bfde7da72a
parent 2135
432d823638f7
child 2384
0a8e0d4345b3
child 2410
352765ed11a1
equal deleted inserted replaced
2285:18134a5c6da5 2290:33bfde7da72a

mercurial