diff options
| author | David Aguilar <davvid@gmail.com> | 2010-01-09 20:02:40 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-01-09 22:41:28 -0800 |
| commit | db367136605868f5971d42501a48820ccdcb8b08 (patch) | |
| tree | de23922e485753f5193a4409507dff637e7cf45c | |
| parent | 4cefa495ca91ad833084ebf3f73c77997920ae9b (diff) | |
| download | git-db367136605868f5971d42501a48820ccdcb8b08.tar.gz | |
difftool--helper: Update copyright and remove distracting comments
Some of the comments in git-difftool--helper are not needed because
the code is sufficiently readable without them.
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rwxr-xr-x | git-difftool--helper.sh | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/git-difftool--helper.sh b/git-difftool--helper.sh index 57e8e3256d..1b138083d3 100755 --- a/git-difftool--helper.sh +++ b/git-difftool--helper.sh @@ -3,9 +3,8 @@ # This script is typically launched by using the 'git difftool' # convenience command. # -# Copyright (c) 2009 David Aguilar +# Copyright (c) 2009-2010 David Aguilar -# Load common functions from git-mergetool--lib TOOL_MODE=diff . git-mergetool--lib @@ -20,7 +19,6 @@ should_prompt () { fi } -# Sets up shell variables and runs a merge tool launch_merge_tool () { # Merged is the filename as it appears in the work tree # Local is the contents of a/filename @@ -39,7 +37,6 @@ launch_merge_tool () { read ans fi - # Run the appropriate merge tool command run_merge_tool "$merge_tool" } |