add rocksdb repo as submodule

labteral · Aug 18, 2021 · 9181044 · 9181044
1 parent 75eb0ad
commit 9181044
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "src/rocksdb"]
+	path = src/rocksdb
+	url = https://github.com/facebook/rocksdb.git