diff move-if-change @ 38397:6cc3d3a4025c

Add types to defcustoms.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 13 Jul 2001 10:20:15 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff