From 8069d2a9c92c38d1eaafa79cc470d68c5182671b Mon Sep 17 00:00:00 2001 From: Anatolii Kmetiuk Date: Wed, 24 Mar 2021 15:12:49 +0100 Subject: [PATCH] Remove pdbp --- .gitmodules | 3 --- community-build/community-projects/pdbp | 1 - 2 files changed, 4 deletions(-) delete mode 160000 community-build/community-projects/pdbp diff --git a/.gitmodules b/.gitmodules index 72af6f16258c..32d24ff43d2a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -25,9 +25,6 @@ [submodule "community-build/community-projects/stdLib213"] path = community-build/community-projects/stdLib213 url = https://github.com/dotty-staging/scala -[submodule "community-build/community-projects/pdbp"] - path = community-build/community-projects/pdbp - url = https://github.com/dotty-staging/pdbp [submodule "community-build/community-projects/sourcecode"] path = community-build/community-projects/sourcecode url = https://github.com/dotty-staging/sourcecode diff --git a/community-build/community-projects/pdbp b/community-build/community-projects/pdbp deleted file mode 160000 index 0c1fe0a5fd68..000000000000 --- a/community-build/community-projects/pdbp +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 0c1fe0a5fd681ff4d94a58dc6f73e019982e9d78