]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #3256 from facebook/clean
authorYann Collet <Cyan4973@users.noreply.github.com>
Mon, 12 Sep 2022 20:23:34 +0000 (13:23 -0700)
committerGitHub <noreply@github.com>
Mon, 12 Sep 2022 20:23:34 +0000 (13:23 -0700)
streamline `make clean` list maintenance


Trivial merge