]> git.neil.brown.name Git - plato.git/search
term: close app when child shell dies.