diff make-dist @ 61446:397fed153f02

(standard_args): Rename --bare-bones to --quick. Add -D aka --basic-display.
author Richard M. Stallman <rms@gnu.org>
date Sun, 10 Apr 2005 23:23:24 +0000
parents b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
line wrap: on
line diff