(pgg-messages-coding-system): New user option.
authortomo <tomo>
Fri, 22 Dec 2000 10:50:32 +0000 (10:50 +0000)
committertomo <tomo>
Fri, 22 Dec 2000 10:50:32 +0000 (10:50 +0000)
commit915be0cca1aec41f9a9b166fb9a18736bf7aaaf9
tree095aaa86a181e841de8fc36db548814ff930c846
parent872b848e4e6c8cb9fecdf757ad277e84c9ca8bfa
(pgg-messages-coding-system): New user option.
pgg-def.el