]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
projects / thirdparty / zstd.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c631fde 7ef7dc5)
Merge pull request #1437 from facebook/grep
authorYann Collet <Cyan4973@users.noreply.github.com>
Tue, 4 Dec 2018 01:43:34 +0000 (17:43 -0800)
committerGitHub <noreply@github.com>
Tue, 4 Dec 2018 01:43:34 +0000 (17:43 -0800)
check availability of --color=never command on grep and egrep


Trivial merge
Mirror of https://github.com/facebook/zstd.git