git-pull-all: Remove bash'ism
[shutils.git] / git /
drwxr-xr-x   ..
-rwxr-xr-x 2319 git-pull-all
-rwxr-xr-x 535 pre-commit-texcheck