diff man/autotype.texi @ 32227:d22ae991ac5f

Comment.
author Dave Love <fx@gnu.org>
date Fri, 06 Oct 2000 18:37:50 +0000
parents 4f58e2bbcb08
children 0da9507401c4
line wrap: on
line diff