diff options
author | Josh Triplett <josh@freedesktop.org> | 2007-07-14 12:05:43 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-07-14 12:07:44 +0400 |
commit | 9d6f220cc8ffbd71b4c68765b52c3a7c41dd729b (patch) | |
tree | 618f04c4e0ebf509fc817a1e5c767c7f1d38ea9b /contrib/stats/mailmap.pl | |
parent | bdecd9d41b3528e17aea2290344c584412e2424e (diff) |
Remove useless uses of cat, and replace with filename arguments
Replace uses of cat that do nothing but writing the contents of
a single file to another command via pipe.
[jc: Original patch from Josh was somewhat buggy and rewrote
"cat $file | wc -l" to "wc -l $file", but this one should be Ok.]
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/stats/mailmap.pl')
0 files changed, 0 insertions, 0 deletions