Merge pull request #3 from crian/master
authortorrinfail <torrinfail@gmail.com>
Thu, 16 Apr 2020 06:32:26 +0000 (00:32 -0600)
committerGitHub <noreply@github.com>
Thu, 16 Apr 2020 06:32:26 +0000 (00:32 -0600)
Some Makefile additions by crian


Trivial merge