make/jprt.config

changeset 528
c6ff24ceec1c
parent 435
a61af66fc99e
child 593
a49545cab84a

    

mercurial