diff --git a/.gitmodules b/.gitmodules index 22b010a01..2328eab8c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -44,10 +44,6 @@ [submodule "submodules/belle-sip"] path = submodules/belle-sip url = git://git.linphone.org/belle-sip.git -[submodule "submodules/externals/antlr3"] - path = submodules/externals/antlr3 - url = git://git.linphone.org/antlr3.git - ignore = dirty [submodule "submodules/externals/libxml2"] path = submodules/externals/libxml2 url = git://git.gnome.org/libxml2.git diff --git a/submodules/externals/antlr3 b/submodules/externals/antlr3 deleted file mode 160000 index 1db66897f..000000000 --- a/submodules/externals/antlr3 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 1db66897fa0f2f4b397bb961b3e5a747c170ed40