diff make-dist @ 17944:0714535d0e28

Use defgroup and defcustom.
author Richard M. Stallman <rms@gnu.org>
date Sun, 25 May 1997 18:08:23 +0000
parents b8a3deb464b9
children 0696d4c9aa15
line wrap: on
line diff