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:
authorAlan McGovern <alan@xamarin.com>2012-11-21 19:46:57 +0400
committerAlan McGovern <alan@xamarin.com>2012-11-21 19:48:56 +0400
commitdd32d110e19443c9d5d5ee6d80f9ac35d5ccf805 (patch)
tree55c87fe6a7ec142548ec9e933a79d3ac491ad5a1 /.gitmodules
parent2bd086fb35372122865d85db7ae3da48781c8568 (diff)
Add the new ikvm form
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 6b4c28149e..0410bd0652 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -22,3 +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
+ url = git://github.com/mono/ikvm-fork.git