corba/make/jprt.properties
changeset 10388 01675d07a021
parent 10159 a3a3c58b415c
child 11295 ba71ba667ef7
equal deleted inserted replaced
10383:31f5c34d7808 10388:01675d07a021