diff man/pgg.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 c7e4f78b81a6
children 00b7dd321d64
line wrap: on
line diff