diff options
author | Ulrich Bauer <mail@ulrich-bauer.org> | 2020-12-31 17:11:18 +0100 |
---|---|---|
committer | Ulrich Bauer <mail@ulrich-bauer.org> | 2020-12-31 17:11:18 +0100 |
commit | 9b7f0a3803ed59a3e804011d6bae2c407c1758cd (patch) | |
tree | 54dff22cb085943b6cd9af601d7e08386c84d554 /.gitmodules | |
parent | cc57969ebd89dc9f0eff78f5f48d1fffb3233899 (diff) |
some cleanup
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..b85c2fb --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "robin-hood-hashing"] + path = robin-hood-hashing + url = https://github.com/martinus/robin-hood-hashing.git |