diff man/mark.texi @ 35972:f5af79327a46

(ex-unix-type-shell-options): Fix :type.
author Dave Love <fx@gnu.org>
date Wed, 07 Feb 2001 23:56:22 +0000
parents 4aeb7434af3c
children d97455a119bb
line wrap: on
line diff