mirror of
https://github.com/git/git
synced 2024-08-25 02:35:46 +00:00
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>
This commit is contained in:
parent
402461aab1
commit
caef71a535