]> git.neil.brown.name Git - plato.git/commit
git / plato.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ffd840) | patch
term: close app when child shell dies.
authorNeilBrown <neilb@suse.de>
Fri, 25 Jan 2013 02:24:33 +0000 (13:24 +1100)
committerNeilBrown <neilb@suse.de>
Fri, 25 Jan 2013 02:24:33 +0000 (13:24 +1100)
commitb3341981e140d154aa1cc64eeb1c699a60ad5c4f
tree1decedb65064df9a3b421c02e2018aa4ec53c5bftree | snapshot
parent3ffd840ba9ac695dab10769864beda8a99e75182commit | diff
term: close app when child shell dies.
utils/term.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.