diff man/ada-mode.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 95bdbefcdac6
children 45500c80145f
line wrap: on
line diff