corba/make/jprt.properties
changeset 10491 105c2d96bbd3
parent 10159 a3a3c58b415c
child 11295 ba71ba667ef7
equal deleted inserted replaced
10490:c5cc67e278f9 10491:105c2d96bbd3