diff man/cmdargs.texi @ 88610:bc5a086f9455

Add coding tag.
author Dave Love <fx@gnu.org>
date Thu, 23 May 2002 17:40:18 +0000
parents 671f1c59f989
children c69907b4eb03
line wrap: on
line diff