diff make-dist @ 20083:280dcaeeede3

Removed changelog comment section. (double): New group. (double-map): Add customize support. (double-prefix-only): Ditto.
author Karl Heuer <kwzh@gnu.org>
date Thu, 16 Oct 1997 18:46:36 +0000
parents 07e5f3623def
children 815e934f5ffc
line wrap: on
line diff