corba/make/jprt.properties
changeset 794 2ba8b05f177a
parent 4 02bb8761fcce
child 2666 b4665c6a75e5
equal deleted inserted replaced
785:36c29b2692f1 794:2ba8b05f177a