corba/make/jprt.properties
changeset 5815 8c68030e27b1
parent 5555 b2b5ed3f0d0d
child 6331 9101ee97a1bd
equal deleted inserted replaced
5814:abee09402885 5815:8c68030e27b1