comparison make-dist @ 38857:0999a3a48e17

(defcustom): Doc fix.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 17 Aug 2001 10:58:17 +0000
parents b3268dbead96
children c1607757c868
comparison
equal deleted inserted replaced
38856:0d5e7fb9d38b 38857:0999a3a48e17