mirror of
https://github.com/git/git.git
synced 2025-09-10 22:44:50 +02: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: