Merge pull request #25 from kawaiiamber/DESTDIR
authorphillbush <63266536+phillbush@users.noreply.github.com>
Sun, 10 Jan 2021 21:10:53 +0000 (21:10 +0000)
committerGitHub <noreply@github.com>
Sun, 10 Jan 2021 21:10:53 +0000 (21:10 +0000)
Simplify DESTDIR


Trivial merge