Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortherzok <marius.ungureanu@xamarin.com>2017-03-14 21:48:43 +0300
committertherzok <marius.ungureanu@xamarin.com>2017-04-25 16:50:00 +0300
commit50d365b3547670d79af542eb9da4312683d0f043 (patch)
treee4e8adf346143c1af2d6ce071ee5850b7c87adad /.gitmodules
parentace7592ee3323bf1d9a4e64cfe21924a2dae3573 (diff)
[Core] Remove Cecil submodule.
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules4
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules
index 39ae2e62c5..10ea2438b1 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,7 +1,3 @@
-[submodule "main/external/cecil"]
- path = main/external/cecil
- url = git://github.com/mono/cecil.git
- branch = master
[submodule "main/external/mono-tools"]
path = main/external/mono-tools
url = git://github.com/mono/mono-tools.git