diff man/gnus-faq.texi @ 69006:e4d97c1f1377

* custom.el (customize-mark-as-set): Push to `user' theme.
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 19 Feb 2006 17:26:44 +0000
parents c0aa521e0ca7
children 235590a9d340 4da4a09e8b1b
line wrap: on
line diff