diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 3fda852c5..000000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "mit_tools"] - path = mit_tools - url = https://github.com/JustFrederik/mit_tools