diff admin/check-doc-strings @ 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 695cf19ef79e
children 4e2606f6ee72 375f2633d815
line wrap: on
line diff