diff man/info.texi @ 47939:5f47d61ffbdc

Fix typo in comment.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 18 Oct 2002 08:52:37 +0000
parents 0a70200bde27
children 4260c3b0397c
line wrap: on
line diff