diff man/autotype.texi @ 33974:e2a51eb8b6cc

Update from author.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 28 Nov 2000 22:32:21 +0000
parents 0da9507401c4
children a16d8ed56e9c
line wrap: on
line diff