blob: ee32aeb7564f833021179f48e9e81e2a572a5f14 (
plain)
1
2
3
4
5
6
7
8
9
|
[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
[submodule "external/vptree"]
path = external/vptree
url = https://github.com/pderkowski/vptree.git
|