diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2017-05-10 15:07:09 -0400 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2017-05-10 15:07:09 -0400 |
| commit | 48522a1d9bb9ff2b729b0c34c32d288b0518c633 (patch) | |
| tree | 44517b8e2cbe598ec51717d324a4b079e6eeaa98 /.gitmodules | |
| parent | de142da90ea2175f0377ab3db2bb0ae09c9779e9 (diff) | |
| download | purge_path-48522a1d9bb9ff2b729b0c34c32d288b0518c633.tar.gz | |
Implement RELIC
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..6d623ae --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "relic"] + path = relic + url = https://github.com/jhunkeler/relic.git |