diff src/.gdbinit @ 9489:07dd35326963

Removed setting of font-lock-keywords inadvertently left after last patch.
author Simon Marshall <simon@gnu.org>
date Wed, 12 Oct 1994 16:03:28 +0000
parents def3ab3a6f01
children 0de933eb95a2
line wrap: on
line diff