Merge branch 'rv/grep-cleanup'
authorJunio C Hamano <gitster@pobox.com>
Thu, 8 Mar 2018 20:36:25 +0000 (12:36 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 8 Mar 2018 20:36:25 +0000 (12:36 -0800)
commit5fc4a7e...5dc4b164c574a4f2672e01146ffedf0f
treea7159ae...97a9e371af214a08101b0b2803bfbad1copy hash to clipboard (tree)
parent9e69a14...4f73fbee63df53d68c23b1e9a48faa7fcopy hash to clipboard (diff)
parent38ef24d...cfb696393d2e8e701bf2f81c9e6275e2copy hash to clipboard (diff)
builtin/grep.c