diff options
| -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 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 |