blob: 36b61ae43c228ef8d3025c7203498b433df4a68e (
plain)
1
2
3
4
5
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
|