diff options
author | Richard M. Stallman <[email protected]> | 2005-01-30 11:34:58 +0000 |
---|---|---|
committer | Richard M. Stallman <[email protected]> | 2005-01-30 11:34:58 +0000 |
commit | 89fa0de4cd2f1501e83104fc68b82b74358467f4 (patch) | |
tree | a6bc781337d59cb97cf4c6135df6ac5cd215b6eb /man/.gitignore | |
parent | 12e737f868df17955af01b810249202134f8ee72 (diff) |
(Easy Customization): Defn of "User Option" now
includes faces. Don't say just "option" when talking about variables.
Do say just "options" to mean "anything customizable".
(Specific Customization): Describe `customize-variable',
not `customize-option'.
Diffstat (limited to 'man/.gitignore')
0 files changed, 0 insertions, 0 deletions