corba/make/jprt.properties
changeset 13897 4d2ca6fb1285
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
13880:c86a14a7ce04 13897:4d2ca6fb1285