diff make-dist @ 21201:425bf2edf1d4

(setenv): Simplify reading of args by passing old value as the default.
author Richard M. Stallman <rms@gnu.org>
date Tue, 17 Mar 1998 08:14:28 +0000
parents 70301d94ce1e
children 9293d783c708
line wrap: on
line diff