make/jprt.properties
changeset 2167 bff30f8ab689
parent 0 fd16c54261b3
child 2556 75fb2729985c
equal deleted inserted replaced
2166:e01c813f9552 2167:bff30f8ab689