]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
projects / thirdparty / zstd.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ad34d58 1207146)
Merge pull request #2135 from bimbashrestha/grep
authorBimba Shrestha <bimbashrestha@fb.com>
Wed, 13 May 2020 21:08:59 +0000 (16:08 -0500)
committerGitHub <noreply@github.com>
Wed, 13 May 2020 21:08:59 +0000 (16:08 -0500)
Revert to old zstdgrep because of potential license issue


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