Merge pull request #104 from olerem/pre_debian-2016.10.05
authorAdrian Chadd <adrian.chadd@gmail.com>
Sun, 9 Oct 2016 15:54:29 +0000 (08:54 -0700)
committerGitHub <noreply@github.com>
Sun, 9 Oct 2016 15:54:29 +0000 (08:54 -0700)
commitf86a69c83bc5120dfc52b54405f34469efa02b58
tree7ce609c47d019caafbd28ffa5f42aee1761f9372
parent71f757b6cacf8110c6aa98dc91fd2317ce5fe45d
parentf83b82ffcd21cd52a12e137f2c30b751bfcb6ab9
Merge pull request #104 from olerem/pre_debian-2016.10.05

make toolchain path configurable