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:
authorMike Krüger <mkrueger@xamarin.com>2012-11-05 11:59:53 +0400
committerMike Krüger <mkrueger@xamarin.com>2012-11-05 11:59:53 +0400
commit02dd2f22523810277ecd82ef51415b90f6b2228b (patch)
tree250a2a490be580a759ec0d7c7e019642d2911a37 /.gitmodules
parent21a3d42bf4b9bc7d57cc8f87f4f85d81683ec9f9 (diff)
Forked IKVM to give us a bit more control over it.
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitmodules b/.gitmodules
index 59826ac2af..d6ae38ba1c 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -22,6 +22,6 @@
[submodule "main/external/mono-addins"]
path = main/external/mono-addins
url = git://github.com/mono/mono-addins.git
-[submodule "main/external/ikvm"]
- path = main/external/ikvm
+[submodule "main/external/ikvmfork"]
+ path = main/external/ikvmfork
url = git://github.com/mkrueger/ikvm.git