Code

mergetool: no longer need to save standard input