diff doc/misc/pgg.texi @ 102371:0e907e93a720

Fix @setfilename.
author Glenn Morris <rgm@gnu.org>
date Tue, 03 Mar 2009 04:20:40 +0000
parents 9bcea07061a8
children 1d1d5d9bd884
line wrap: on
line diff