diff options
author | Junio C Hamano <junkio@cox.net> | 2005-11-07 12:52:07 -0800 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-11-07 12:52:07 -0800 |
commit | 31b9755a655aa34373d8b39030e9a0f46ffa0078 (patch) | |
tree | 98ae3ee82b9a322f084d7ce65c2431efab2a3ff1 | |
parent | Documentation: talk about guts of merge in tutorial. (diff) | |
download | tgif-31b9755a655aa34373d8b39030e9a0f46ffa0078.tar.xz |
Recover dropped +x bit from git-pull.sh by accident.
Signed-off-by: Junio C Hamano <junkio@cox.net>
-rwxr-xr-x[-rw-r--r--] | git-pull.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/git-pull.sh b/git-pull.sh index 2358af62d5..2358af62d5 100644..100755 --- a/git-pull.sh +++ b/git-pull.sh |