diff make-dist @ 63138:2a347143dae3

(makefile-shell-face): Make this a no-op except on terminals with enough colors to really display it. (makefile-dependency-regex): Delete spurious `bb'.
author Richard M. Stallman <rms@gnu.org>
date Wed, 08 Jun 2005 15:43:59 +0000
parents 3e36b3c98f8e
children c53a9463c31a 62afea0771d8
line wrap: on
line diff