Merge pull request #35 from real-dam/standalone-version
authorJoseph C. Lehner <jclehner@users.noreply.github.com>
Mon, 11 May 2020 14:19:36 +0000 (16:19 +0200)
committerGitHub <noreply@github.com>
Mon, 11 May 2020 14:19:36 +0000 (16:19 +0200)
support compiling outside of git checkout


Trivial merge