diff man/mini.texi @ 49550:950737d7271d

Fix typo.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 31 Jan 2003 15:28:46 +0000
parents 3d861934169e
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff