make/jprt.config

changeset 528
c6ff24ceec1c
parent 435
a61af66fc99e
child 593
a49545cab84a
equal deleted inserted replaced
527:ebec5b9731e2 528:c6ff24ceec1c

mercurial