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