mirror of
https://github.com/git/git.git
synced 2024-09-24 00:51:44 +02:00
Recover dropped +x bit from git-pull.sh by accident.
Signed-off-by: Junio C Hamano <junkio@cox.net>
This commit is contained in:
parent
44760f1d55
commit
31b9755a65