diff man/pgg.texi @ 90230:fa744c8b8632

Fix merge mistake
author Miles Bader <miles@gnu.org>
date Mon, 19 Sep 2005 11:14:02 +0000
parents 69b3598a61c5
children 34f7069d89f0
line wrap: on
line diff