make/jprt.properties

changeset 2134
b0c086cd4520
parent 2031
985abf1cd327
child 2141
127c2e74d2cf
equal deleted inserted replaced
2133:19e8eebfbe52 2134:b0c086cd4520

mercurial