From c38d2684df883d62cd282ffa15447610568d036a Mon Sep 17 00:00:00 2001
From: Richard Patel <ripatel@jumptrading.com>
Date: Sat, 29 Oct 2022 17:21:20 +0200
Subject: [PATCH] third_party: remove rocksdb submodule

---
 .gitmodules         | 3 ---
 third_party/rocksdb | 1 -
 2 files changed, 4 deletions(-)
 delete mode 160000 third_party/rocksdb

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