diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 3d61e7abd09e66f8e7f15d2f6241e71e31705f3c..0000000000000000000000000000000000000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "deps/falkolib"] - path = deps/falkolib - url = https://gitlab.iri.upc.edu/mobile_robotics/falkolib