make/jprt.config
changeset 2537 bc0063aa5b7f
parent 2099 a9be2da8a8f2