diff man/autotype.texi @ 46128:9e6cc5e5d948

Fix typo.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 02 Jul 2002 13:23:18 +0000
parents 87962bf716e3
children 82d113655734
line wrap: on
line diff