comparison make-dist @ 5932:86efd91bb72c

(command-line-1): Improve previous change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 12 Feb 1994 20:14:29 +0000
parents 76d9b1408e5c
children 15e380b232fa
comparison
equal deleted inserted replaced
5931:7008ece592cb 5932:86efd91bb72c