diff make-dist @ 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 d929ae6f35d3
children e270203c0c9f
line wrap: on
line diff