diff etc/COOKIES @ 104906:7018aaffba60

Bug#4375 (can't kill killed gud buffer") (gdb): Revert 2009-08-11 change. User should detach inferior manually.
author Nick Roberts <nickrob@snap.net.nz>
date Thu, 10 Sep 2009 03:42:13 +0000
parents 0ebcdaee8a4e
children
line wrap: on
line diff