Fix setfilename.
authorSimon Josefsson <jas@extundo.com>
Mon, 17 Mar 2003 11:20:50 +0000 (11:20 +0000)
committerSimon Josefsson <jas@extundo.com>
Mon, 17 Mar 2003 11:20:50 +0000 (11:20 +0000)
commit40dc2ac929e862a5ee87ca11a71f710b767af287
treef9b06912dd8712dc932503edcdd19788dda2084b
parent999d28bb4819373e54a67814356ff3327250623f
Fix setfilename.
texi/ChangeLog
texi/pgg.texi