about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--third_party/immer/.gitmodules6
1 files changed, 0 insertions, 6 deletions
diff --git a/third_party/immer/.gitmodules b/third_party/immer/.gitmodules
deleted file mode 100644
index 53d1686014fd..000000000000
--- a/third_party/immer/.gitmodules
+++ /dev/null
@@ -1,6 +0,0 @@
-[submodule "extra/python/lib/pybind11"]
-	path = extra/python/lib/pybind11
-	url = https://github.com/pybind/pybind11.git
-[submodule "tools/sinusoidal-sphinx-theme"]
-	path = tools/sinusoidal-sphinx-theme
-        url = https://github.com/arximboldi/sinusoidal-sphinx-theme.git