From 56a2d3ead097e9fbfcbcc1adb9dee7fd1c623d5c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ricardo=20Monta=C3=B1ana=20G=C3=B3mez?= Date: Sat, 14 Dec 2024 20:27:07 +0100 Subject: [PATCH] remove uneeded submodule --- .gitmodules | 2 +- lib/catch2 | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) delete mode 160000 lib/catch2 diff --git a/.gitmodules b/.gitmodules index ac82c43..7a453f1 100644 --- a/.gitmodules +++ b/.gitmodules @@ -18,4 +18,4 @@ url = https://github.com/rmontanana/ArffFiles [submodule "lib/mdlp"] path = lib/mdlp - url = https://github.com/rmontanana/mdlp + url = https://github.com/rmontanana/mdlp \ No newline at end of file diff --git a/lib/catch2 b/lib/catch2 deleted file mode 160000 index 029fe3b..0000000 --- a/lib/catch2 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 029fe3b4609dd84cd939b73357f37bbb75bcf82f