diff make-dist @ 55603:706a50524d5f

(compilation-warning-face, compilation-info-face): Use min-colors.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 15 May 2004 12:16:13 +0000
parents 400d9bd54631
children b5f2181a40b9
line wrap: on
line diff