diff make-dist @ 69765:1a3385f6eeec

(compilation-message-face): Make it defcustom.
author Richard M. Stallman <rms@gnu.org>
date Sun, 02 Apr 2006 20:21:04 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff