author | David Aguilar <davvid@gmail.com> | |
Sat, 20 Dec 2008 01:01:01 +0000 (17:01 -0800) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Sat, 20 Dec 2008 03:10:58 +0000 (19:10 -0800) | ||
commit | ce2c3ebbc5a66e0370b3ab5b5611c2c390ddd6c0 | |
tree | 11c6f880579d1d7c3aacd4185b76b47b128e652d | tree | snapshot |
parent | 0e73b3ee6ca95e1db2fe801d2b8544f4c27991df | commit | diff |
git-mergetool: properly handle "git mergetool -- filename"
Like many git commands, git-mergetool allows "--" to signal
the end of option processing. This adds a missing "shift"
statement so that this is correctly handled.
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Like many git commands, git-mergetool allows "--" to signal
the end of option processing. This adds a missing "shift"
statement so that this is correctly handled.
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
git-mergetool.sh | diff | blob | history |