diff make-dist @ 4955:2da352ce967d

Treat convex like hpux.
author Richard M. Stallman <rms@gnu.org>
date Wed, 10 Nov 1993 19:53:29 +0000
parents 6e068e4635e0
children f27254ec443e
line wrap: on
line diff