diff options
| author | Junio C Hamano <junkio@cox.net> | 2006-04-16 08:46:08 (GMT) |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-04-16 08:46:08 (GMT) |
| commit | caef71a5354ca162cc5a6914a7a643efbc9ae28a (patch) | |
| tree | a4595453c77436f7f8ea980c396e1348bcdedff2 /git-push.sh | |
| parent | 402461aab17292b78bd36a17bff18e48d544cc9a (diff) | |
| download | git-caef71a5354ca162cc5a6914a7a643efbc9ae28a.zip git-caef71a5354ca162cc5a6914a7a643efbc9ae28a.tar.gz git-caef71a5354ca162cc5a6914a7a643efbc9ae28a.tar.bz2 | |
Do not fork PAGER=cat
Unless the user has a nonstandard "cat" command that does not
meow like a cat, this should not break anything and would save an
extra pipe.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-push.sh')
0 files changed, 0 insertions, 0 deletions