diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 6b8eb12b2..000000000 --- a/.gitmodules +++ /dev/null @@ -1,12 +0,0 @@ -[submodule "vendors/ligo-opam-repository"] - path = vendors/ligo-opam-repository - url = https://gitlab.com/ligolang/ligo-opam-repository.git - pushurl = git@gitlab.com:ligolang/ligo-opam-repository.git -[submodule "vendors/ligo-utils"] - path = vendors/ligo-utils - url = https://gitlab.com/ligolang/ligo-utils.git - pushurl = git@gitlab.com:ligolang/ligo-utils.git -[submodule "vendors/tezos-modded"] - path = vendors/tezos-modded - url = https://gitlab.com/ligolang/tezos-modded.git - pushurl = git@gitlab.com:ligolang/tezos-modded.git diff --git a/vendors/ligo-opam-repository b/vendors/ligo-opam-repository deleted file mode 160000 index 556b4e48e..000000000 --- a/vendors/ligo-opam-repository +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 556b4e48eec1b89826dad78ff14aeea87d331f9f diff --git a/vendors/ligo-utils b/vendors/ligo-utils deleted file mode 160000 index 533c801c1..000000000 --- a/vendors/ligo-utils +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 533c801c103627484af042bf1f976eeffcf592e3 diff --git a/vendors/tezos-modded b/vendors/tezos-modded deleted file mode 160000 index 3fc0dce84..000000000 --- a/vendors/tezos-modded +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 3fc0dce84af05663f996eac7b12a473ea59ec195