diff --git a/.gitmodules b/.gitmodules index 7944e8e32..e69de29bb 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "runtime/PHP"] - path = runtime/PHP - url = https://github.com/antlr/antlr-php-runtime.git diff --git a/runtime/PHP b/runtime/PHP deleted file mode 160000 index 5f4930012..000000000 --- a/runtime/PHP +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 5f4930012c1601b0755ae5fc48828c3b0f3823d1