Skip to content

Commit 07d8ff8

Browse files
Merge pull request #11881 from dotty-staging/remove-pdbp
Remove pdbp
2 parents 4b32aeb + 8069d2a commit 07d8ff8

File tree

2 files changed

+0
-4
lines changed

2 files changed

+0
-4
lines changed

.gitmodules

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -25,9 +25,6 @@
2525
[submodule "community-build/community-projects/stdLib213"]
2626
path = community-build/community-projects/stdLib213
2727
url = https://github.com/dotty-staging/scala
28-
[submodule "community-build/community-projects/pdbp"]
29-
path = community-build/community-projects/pdbp
30-
url = https://github.com/dotty-staging/pdbp
3128
[submodule "community-build/community-projects/sourcecode"]
3229
path = community-build/community-projects/sourcecode
3330
url = https://github.com/dotty-staging/sourcecode
Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)