corba/make/jprt.properties
changeset 15376 32b49791817d
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
equal deleted inserted replaced
15375:d2529dc91d77 15376:32b49791817d