diff man/cmdargs.texi @ 42117:bdf2f34631aa

Finish previous change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 18 Dec 2001 02:22:44 +0000
parents 608e18d9fb18
children dced9cd23927
line wrap: on
line diff