make/jprt.config
changeset 2705 27b7f2d5e949
parent 2099 a9be2da8a8f2