From b03b8fdc1e2d09353bcabecfb96ca8601b82689a Mon Sep 17 00:00:00 2001 From: Douglas Rumbaugh Date: Mon, 5 Jun 2023 13:30:26 -0400 Subject: PGM-based shard --- .gitmodules | 3 +++ 1 file changed, 3 insertions(+) (limited to '.gitmodules') 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 -- cgit v1.2.3