From 525f805d44a33ec1c41186a1120c0dd21e167e19 Mon Sep 17 00:00:00 2001 From: Zi Wang Date: Sat, 28 Apr 2018 20:08:34 -0400 Subject: [PATCH] remove invalid submodule --- .gitmodules | 3 --- pddlstream | 1 - 2 files changed, 4 deletions(-) delete mode 160000 pddlstream diff --git a/.gitmodules b/.gitmodules index 19bc539..2b9eac8 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ [submodule "motion-planners"] path = motion-planners url = git@github.com:caelan/motion-planners.git -[submodule "pddlstream"] - path = pddlstream - url = git@github.com:caelan/pddlstream.git diff --git a/pddlstream b/pddlstream deleted file mode 160000 index b0c4599..0000000 --- a/pddlstream +++ /dev/null @@ -1 +0,0 @@ -Subproject commit b0c4599576d7740b4a5913aaccecce7f2d391c5c