diff make-dist @ 19831:a517c846d04e

(defun-prompt-regexp): Fix customize type.
author Richard M. Stallman <rms@gnu.org>
date Tue, 09 Sep 1997 02:57:48 +0000
parents 53fa6bca2c89
children 07e5f3623def
line wrap: on
line diff