diff make-dist @ 30498:79122ed1162e

Numeric args to concat.
author Dave Love <fx@gnu.org>
date Thu, 27 Jul 2000 13:09:58 +0000
parents 349704f6532f
children 28cc44c6c08c
line wrap: on
line diff