diff --git a/.gitmodules b/.gitmodules index 44314a5..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "3rdparty/indirect_predicates"] - path = 3rdparty/indirect_predicates - url = https://github.com/MarcoAttene/Indirect_Predicates.git diff --git a/3rdparty/indirect_predicates b/3rdparty/indirect_predicates deleted file mode 160000 index ca74afb..0000000 --- a/3rdparty/indirect_predicates +++ /dev/null @@ -1 +0,0 @@ -Subproject commit ca74afb8c664ed24b4482fb3c8a3175102ce3dcb