make/jprt.config
changeset 2365 c77d20908054
parent 2099 a9be2da8a8f2
equal deleted inserted replaced
2361:f0135ed94d28 2365:c77d20908054