corba/make/jprt.properties
changeset 12061 902aeaf97ec5
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
11943:16ba58282d11 12061:902aeaf97ec5