comparison make-dist @ 18601:97ffde6d7770

New command names.
author Per Abrahamsen <abraham@dina.kvl.dk>
date Fri, 04 Jul 1997 13:24:25 +0000
parents 614b4d642525
children c5f070514f07
comparison
equal deleted inserted replaced
18600:d95acbbb4ac7 18601:97ffde6d7770