Merge pull request #604 from vtorri/dev
authorYann Collet <Cyan4973@users.noreply.github.com>
Mon, 19 Nov 2018 22:31:37 +0000 (14:31 -0800)
committerGitHub <noreply@github.com>
Mon, 19 Nov 2018 22:31:37 +0000 (14:31 -0800)
Add DLLTOOL variable so that one can override dlltool binary


Trivial merge