Merge pull request #26 from q3k/diamond-linux-support
authorenjoy-digital <florent@enjoy-digital.fr>
Thu, 20 Jul 2017 12:41:05 +0000 (14:41 +0200)
committerGitHub <noreply@github.com>
Thu, 20 Jul 2017 12:41:05 +0000 (14:41 +0200)
Add Diamond toolchain support for Linux.


Trivial merge