* pgg.texi (How to use): Fixed.
authorueno <ueno>
Mon, 10 Sep 2001 17:12:23 +0000 (17:12 +0000)
committerueno <ueno>
Mon, 10 Sep 2001 17:12:23 +0000 (17:12 +0000)
commitfd7572234c79b45ab6bc866ea71923040cd11367
tree9a7dc1887ec63175e8798a754844c236e7f619be
parentb203187f1a5d3cc3ffb9028509bae69fdcdf1cf3
* pgg.texi (How to use): Fixed.
pgg.texi