From e3134a570e1789989062ebaa45802c5e649fed54 Mon Sep 17 00:00:00 2001 From: Oscar Higgott Date: Sat, 14 Mar 2020 19:58:07 +0000 Subject: [PATCH] removed lib/graph submodule --- .gitmodules | 3 --- lib/graph | 1 - 2 files changed, 4 deletions(-) delete mode 160000 lib/graph diff --git a/.gitmodules b/.gitmodules index 47458e4f..8372b7ad 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ [submodule "lib/pybind11"] path = lib/pybind11 url = https://github.com/pybind/pybind11.git -[submodule "lib/graph"] - path = lib/graph - url = https://github.com/boostorg/graph.git diff --git a/lib/graph b/lib/graph deleted file mode 160000 index ca17604d..00000000 --- a/lib/graph +++ /dev/null @@ -1 +0,0 @@ -Subproject commit ca17604dca362e0378ca14c7e8cf9a57a0c887ad