diff src/.gdbinit @ 9665:36bdda3a1dc9

(set-face-background): Set either stipple or color, never both. Do this only for a specific frame, not for t.
author Richard M. Stallman <rms@gnu.org>
date Sun, 23 Oct 1994 06:05:12 +0000
parents def3ab3a6f01
children 0de933eb95a2
line wrap: on
line diff