diff --git a/.gitmodules b/.gitmodules index d8417ee343..e69de29bb2 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "distributions"] - path = distributions - url = git@github.com:php/web-php-distributions.git diff --git a/distributions b/distributions deleted file mode 160000 index 96bb841db4..0000000000 --- a/distributions +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 96bb841db4d7ab701b2229d4abc25fa614f98015