diff man/ediff.texi @ 69007:b9e2a1b4b54a

* cus-edit.el (customize-set-variable): Push setting to `user' theme.
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 19 Feb 2006 17:27:37 +0000
parents 6169b51037af
children 11b616eddda4 d1c5430c5bff
line wrap: on
line diff