]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #237 from juanfra684/patch-1
authorYann Collet <yann.collet.73@gmail.com>
Sun, 3 Jul 2016 21:41:11 +0000 (23:41 +0200)
committerGitHub <noreply@github.com>
Sun, 3 Jul 2016 21:41:11 +0000 (23:41 +0200)
Redundant entry for options in the man page.


Trivial merge