diff --git a/.gitmodules b/.gitmodules index 16766f9..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "third_party/rocksdb"] - path = third_party/rocksdb - url = https://github.com/facebook/rocksdb.git diff --git a/third_party/rocksdb b/third_party/rocksdb deleted file mode 160000 index 540d5aa..0000000 --- a/third_party/rocksdb +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 540d5aae516265170564ec27b3e67a54a11b7045