diff options
| author | Vincent Ambo <mail@tazj.in> | 2020-07-17T20·48+0100 |
|---|---|---|
| committer | tazjin <mail@tazj.in> | 2020-07-18T00·56+0000 |
| commit | c9ba75cc954342b9923594fa40fdcb22fdb59328 (patch) | |
| tree | 86a38dced68f63dbea80b26804479e5970a0dd8a | |
| parent | f80eb91c2a49a00893954b84ef70c431133e03da (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/.gitmodules | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/third_party/immer/.gitmodules b/third_party/immer/.gitmodules deleted file mode 100644 index 53d1686014..0000000000 --- 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 |