about summary refs log tree commit diff
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2020-07-17T20·48+0100
committertazjin <mail@tazj.in>2020-07-18T00·56+0000
commitc9ba75cc954342b9923594fa40fdcb22fdb59328 (patch)
tree86a38dced68f63dbea80b26804479e5970a0dd8a
parentf80eb91c2a49a00893954b84ef70c431133e03da (diff)
chore(3p/immer): Remove .gitmodules r/1372
This breaks tooling for some people, and we aren't actually using the
git submodules.

Change-Id: I5b4dfd4ad76bf72e9dbc7de29f17f28ebf6b8ba0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/1255
Tested-by: BuildkiteCI
Reviewed-by: glittershark <grfn@gws.fyi>
-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