make/jprt.properties

changeset 142
6253e28826d1
parent 114
1c130e7b7a2e
child 158
91006f157c46
equal deleted inserted replaced
141:c67a9df7bc0c 142:6253e28826d1

mercurial