lib/Tools/changeparent
Mon, 02 Dec 1996 18:19:28 +0100 wenzelm changeparent: change parent of Poly/ML database.
less more (0) tip