make/jprt.properties
changeset 24991 e10a57d6e9d0
parent 24804 cc1430d4501f
child 25042 970302bcc736
equal deleted inserted replaced
24990:c9ca62c6a329 24991:e10a57d6e9d0