diff BUGS @ 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 8ce686bd7f4f
children fb8bf24d2eb9
line wrap: on
line diff