re-added child-exited handler of gdb-terminal
[pygdb.git] / GdbTerminal.py
2008-06-08 Stefan Huberre-added child-exited handler of gdb-terminal
2008-06-08 Stefan Hubernew exciting GTK Main Control Window