diff man/autotype.texi @ 46159:bd315b9fa3f0

Fix typo.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 03 Jul 2002 12:01:24 +0000
parents 87962bf716e3
children 82d113655734
line wrap: on
line diff