corba/make/jprt.properties
changeset 10187 983f0e987540
parent 6331 9101ee97a1bd
child 10159 a3a3c58b415c
equal deleted inserted replaced
10186:31a86b7e18ca 10187:983f0e987540