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