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:
authormarius.ungureanu <marius.ungureanu@xamarin.com>2016-01-04 12:55:20 +0300
committermarius.ungureanu <marius.ungureanu@xamarin.com>2016-01-04 12:55:20 +0300
commitf1c26cfd5cc799ca237b80c9be834a24203594d3 (patch)
tree9e02ad36855c69751187799af8c648e58c2a6b0c /.gitmodules
parentd8b79b2ae869b645ee33c660c208d8fbafa0d122 (diff)
Fixed target branch for mono-addins
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 3ac795bf45..b4b4eb8ee8 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 = icons
[submodule "main/external/ikvm"]
path = main/external/ikvm
url = git://github.com/mono/ikvm-fork.git