re-added child-exited handler of gdb-terminal
authorStefan Huber <shuber2@gmail.com>
Sun, 8 Jun 2008 08:59:05 +0000 (10:59 +0200)
committerStefan Huber <shuber2@gmail.com>
Sun, 8 Jun 2008 08:59:05 +0000 (10:59 +0200)

No differences found