diff man/gnu.texi @ 88625:00997a99fa17

(DEFUN) [!PROTOTYPES]: Remove spurious `args'.
author Dave Love <fx@gnu.org>
date Fri, 24 May 2002 15:29:53 +0000
parents 730f77edf073
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff