diff man/anti.texi @ 74317:2304596b2f1b

Fix trivial issues in developers' names.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 29 Nov 2006 16:10:13 +0000
parents abd25d5e5b63
children 6ee6a5eee80d
line wrap: on
line diff