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:19:21 +0300
committertherzok <marius.ungureanu@xamarin.com>2017-04-25 16:49:00 +0300
commitace7592ee3323bf1d9a4e64cfe21924a2dae3573 (patch)
treee6a56e3f1026ded13fdd29bba345bf5c41abc8a7 /.gitmodules
parentc0e71b7e8194849c4a2a661df888e42cc19c210a (diff)
Remove IKVM submodule.
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules4
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules
index 96681a8f1c..39ae2e62c5 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -15,10 +15,6 @@
path = main/external/mono-addins
url = git://github.com/mono/mono-addins.git
branch = master
-[submodule "main/external/ikvm"]
- path = main/external/ikvm
- url = git://github.com/mono/ikvm-fork.git
- branch = master-signed
[submodule "main/external/debugger-libs"]
path = main/external/debugger-libs
url = git://github.com/mono/debugger-libs.git