diff etc/DISTRIB @ 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 f05a048483cc
children e8a3fb527b77
line wrap: on
line diff