diff configure @ 64151:292d83423c40

(customize-option, customize-option-other-window): Make them handle aliases.
author Luc Teirlinck <teirllm@auburn.edu>
date Thu, 07 Jul 2005 23:19:43 +0000
parents 5e92f971ee17
children 993b52f1f2a5 24c69010999c f9a65d7ebd29
line wrap: on
line diff