diff src/keyboard.c @ 70878:8740ce7e1367

(gud-sentinel): Condition on GUD buffer if it has not been killed.
author Nick Roberts <nickrob@snap.net.nz>
date Wed, 24 May 2006 12:05:03 +0000
parents 85887be0a943
children 3cd05625d982 1321f6cfb389 146cd8369025
line wrap: on
line diff