diff lib-src/pop.c @ 65044:96450052ed77

(gud-kill-buffer-hook): Don't kill unrelated process.
author Andreas Schwab <schwab@suse.de>
date Fri, 19 Aug 2005 15:03:28 +0000
parents 6358e3c6075c
children 3661e9b3c48f 2d92f5c9d6ae
line wrap: on
line diff