comparison msdos/sed2.inp @ 55558:0ac980237ad3

(gud-mode): Add gud-kill-buffer-hook to kill-buffer-hook here and make it local. (gud-kill-buffer-hook): Use kill-process for a sure kill.
author Nick Roberts <nickrob@snap.net.nz>
date Wed, 12 May 2004 20:43:47 +0000
parents 695cf19ef79e
children 3723093a21fd 375f2633d815
comparison
equal deleted inserted replaced
55557:2230abc1601e 55558:0ac980237ad3