diff config.bat @ 18086:dbae3eb8b351

(customize-option): Renamed from custom-variable. (customize-variable): Add it as an alias. (customize-option-other-window): Renamed from customize-variable-other-window. (custom-load-symbol): Search for both short and absolute names of the library, when avoiding duplicate loading.
author Richard M. Stallman <rms@gnu.org>
date Sun, 01 Jun 1997 06:41:08 +0000
parents a6df390c0f5e
children 31e6205f80b6
line wrap: on
line diff