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:
authorVsevolod Kukol <sevoku@xamarin.com>2016-02-11 14:33:13 +0300
committerVsevolod Kukol <sevoku@xamarin.com>2016-02-11 14:33:13 +0300
commitd7827661fc58e0f2e36aa1b643a6b4082037425f (patch)
tree137c7fb302b308ce780a2dff325f9ecf4cc78e83 /.gitmodules
parentec79e13c030df33c53796f3093c4bab34d155d01 (diff)
parentcab3fd88ad97ff88a778d836285f8d7e1473320a (diff)
Merge remote-tracking branch 'origin/roslyn-dark-skin'
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 229897ee7f..3b13665738 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -14,6 +14,7 @@
[submodule "main/external/mono-addins"]
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