diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index a03a3d950ce1744540198dea0fbeff0f98178131..0000000000000000000000000000000000000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "src/it/resources/tip-benchmarks"] - path = src/it/resources/tip-benchmarks - url = git@github.com:tip-org/benchmarks.git