Merge pull request #8 from jkczyz/2021-05-git-dependencies
authorJeffrey Czyz <jkczyz@gmail.com>
Sat, 8 May 2021 02:54:26 +0000 (19:54 -0700)
committerGitHub <noreply@github.com>
Sat, 8 May 2021 02:54:26 +0000 (19:54 -0700)
commitf00d6f747947de53f2a45612f899a425f90d8ef4
tree156ccfd39c837d3d2c9298fdcfdfeb3f56437539
parentddc3431971c51a2cbab375ea3ce8ab6df2caf1dd
parentdfe7a0603e61e5709e58212f0165b2b47c27c9fc
Merge pull request #8 from jkczyz/2021-05-git-dependencies

Use dependencies from git when building locally