comparison lib-src/make-docfile.c @ 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 e5da8db417c0
children 69c90cb0d1e3
comparison
equal deleted inserted replaced
104905:19772824da0c 104906:7018aaffba60