##// END OF EJS Templates
Merge pull request #6885 from mattvonrocketstein/issue6883...
Merge pull request #6885 from mattvonrocketstein/issue6883 Issue6883: nix traceback for shell.system if exception is KeyboardInterrupt
Thomas Kluyver -
r18748:2aa5ff86 merge
Show More