chiark / gitweb /
No need to print a trace when the user did a ^C
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 3 Jul 2014 16:26:49 +0000 (18:26 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 3 Jul 2014 16:26:49 +0000 (18:26 +0200)
commitec8291ba771421325169733adeafbaeaa35cd3e7
treeb6e3936ce2822a7c706e4b03f2740142be468628
parent8306bac7deb98ad0e29c013cb947721b07f6b6af
No need to print a trace when the user did a ^C
fdroid