Mercurial > hg > mercurial-crew-with-dirclash
diff mercurial/ui.py @ 832:b65773f7db41
Handle broken pipe on pressing Ctrl-C with e.g. 'hg log|grep something'.
author | Thomas Arendsen Hein <thomas@intevation.de> |
---|---|
date | Thu, 04 Aug 2005 18:06:49 +0100 |
parents | 61c6b4178b9e |
children | 859de3ebc041 52d8d81e72ad 4f81068ed8cd |