corba/make/jprt.properties
changeset 5571 d260f892491e
parent 5555 b2b5ed3f0d0d
child 6331 9101ee97a1bd
equal deleted inserted replaced
5570:bfed772dd989 5571:d260f892491e