From c9ba75cc954342b9923594fa40fdcb22fdb59328 Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Fri, 17 Jul 2020 21:48:37 +0100 Subject: chore(3p/immer): Remove .gitmodules 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 --- third_party/immer/.gitmodules | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 third_party/immer/.gitmodules (limited to 'third_party/immer') 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 -- cgit 1.4.1