diff etc/GNU @ 79190:afa7fa1e71f4

(customize-changed-options): Make arg optional.
author Richard M. Stallman <rms@gnu.org>
date Wed, 24 Oct 2007 08:09:30 +0000
parents 0259a1711394
children 1dd7437446ea 95d0cdf160ea
line wrap: on
line diff