diff options
| author | Douglas Rumbaugh <dbr4@psu.edu> | 2023-06-05 13:30:26 -0400 |
|---|---|---|
| committer | Douglas Rumbaugh <dbr4@psu.edu> | 2023-06-05 13:30:26 -0400 |
| commit | b03b8fdc1e2d09353bcabecfb96ca8601b82689a (patch) | |
| tree | e0911b5fa9a55e0fe21a0468c0ce9d64626d3123 /.gitmodules | |
| parent | 1b332b5766b00df4be21825a4d8cd657e7f13433 (diff) | |
| download | dynamic-extension-b03b8fdc1e2d09353bcabecfb96ca8601b82689a.tar.gz | |
PGM-based shard
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index a80fc10..36b61ae 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "external/PLEX"] path = external/PLEX url = git@github.com:stoianmihail/PLEX.git +[submodule "external/PGM-index"] + path = external/PGM-index + url = https://github.com/gvinciguerra/PGM-index.git |