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>2015-11-17 15:39:23 +0300
committerMarius Ungureanu <marius.ungureanu@xamarin.com>2015-11-17 15:39:23 +0300
commit518b84d292b8caa073ce262e02dda96ed456bfc8 (patch)
treebdfcc41fa53be396df455350eff978b402bb13a9 /.gitmodules
parentf3bc1704b26e06df4a73bb6e802e2494e45e4c29 (diff)
Fix fsharp tracked branch.
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules
index f066d8f50d..a1438bb796 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -27,7 +27,7 @@
[submodule "main/external/fsharpbinding"]
path = main/external/fsharpbinding
url = git://github.com/fsharp/xamarin-monodevelop-fsharp-addin.git
- branch = master
+ branch = roslyn-nogtkshell
[submodule "main/external/nuget-binary"]
path = main/external/nuget-binary
url = git://github.com/mono/nuget-binary.git