make/jprt.properties
changeset 26639 a58e059dc53e
parent 26401 8056c9157546
child 26790 d0a247d1f2a8
equal deleted inserted replaced
26638:30d15650259e 26639:a58e059dc53e