mirror of
https://github.com/git/git.git
synced 2025-12-12 20:36:24 +01: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: