diff make-dist @ 17639:5339baa0a334

Use defgroup and defcustom.
author Richard M. Stallman <rms@gnu.org>
date Sun, 04 May 1997 02:29:41 +0000
parents 892cc20c7d91
children 09cdafe1339f
line wrap: on
line diff