diff options
| author | Joe Crayne <joe@jerkface.net> | 2020-01-03 01:32:26 -0500 |
|---|---|---|
| committer | Joe Crayne <joe@jerkface.net> | 2020-01-03 01:33:45 -0500 |
| commit | f37cd8aa9134142d6a23156fc4fd0c6cb5a308dd (patch) | |
| tree | f0f3cfc17c97a1ad71d3a4e854189280423631a9 /.gitmodules | |
| parent | 3fdd5ee1ede2e4776dc49269793d245e3ef8580a (diff) | |
Updated stack build.
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 2e0ae261..83157f54 100644 --- a/.gitmodules +++ b/.gitmodules | |||
| @@ -7,3 +7,6 @@ | |||
| 7 | [submodule "base32-bytestring"] | 7 | [submodule "base32-bytestring"] |
| 8 | path = base32-bytestring | 8 | path = base32-bytestring |
| 9 | url = https://github.com/eth-r/base32-bytestring | 9 | url = https://github.com/eth-r/base32-bytestring |
| 10 | [submodule "dependent-map"] | ||
| 11 | path = dependent-map | ||
| 12 | url = https://github.com/joecrayne/dependent-map | ||