diff INSTALL @ 22667:8e8001567771

(customize-changed-options): Clean up previous change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 02 Jul 1998 22:29:15 +0000
parents 7851f4551208
children 3f2ab6f2bb5c
line wrap: on
line diff