diff configure @ 67751:5b235259a476

(Easy Customization and subnodes): Replace "active field" with "button". Use "user option" only for variables. Use "setting" for variable-or-face.
author Richard M. Stallman <rms@gnu.org>
date Fri, 23 Dec 2005 01:46:33 +0000
parents 181e78d8e616
children 6e1f6ef9bc5f 693e794b57bf
line wrap: on
line diff