]> git.ipfire.org Git - thirdparty/zstd.git/commitdiff
Merge pull request #276 from jrmarino/gh-pages
authorYann Collet <yann.collet.73@gmail.com>
Tue, 2 Aug 2016 13:42:11 +0000 (15:42 +0200)
committerGitHub <noreply@github.com>
Tue, 2 Aug 2016 13:42:11 +0000 (15:42 +0200)
Add Ada bindings to list of "known ports"


Trivial merge