diff man/cmdargs.texi @ 63887:396252178c2c

(gud-filter): Remove unneeded progn.
author Andreas Schwab <schwab@suse.de>
date Thu, 30 Jun 2005 21:09:03 +0000
parents 01a320949e45
children bbbc2096adb6 173dee4e2611
line wrap: on
line diff