diff src/.gdbinit @ 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 123211374403
children a8fa7c632ee4 21eea50897a7 f042e7c0fe20
line wrap: on
line diff