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:
authorLluis Sanchez Gual <lluis@xamarin.com>2015-07-09 23:01:32 +0300
committerLluis Sanchez Gual <lluis@xamarin.com>2015-07-09 23:01:32 +0300
commitc6b52e1b1a02dda11d483e4245d25136d405c9c4 (patch)
tree5bf16fe7b7b6b0ebd348f89285782846d4ab9774 /.gitmodules
parent600030348ed17c2cb3b0301ce09097ea028397d6 (diff)
parent5c16b401e40fd1c9235d47ace9ab99bd97ad91c3 (diff)
Merge remote-tracking branch 'origin/master' into roslyn
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitmodules b/.gitmodules
index 2cca62b1a3..322dfed8f0 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -26,8 +26,8 @@
url = git://github.com/mono/guiunit.git
[submodule "main/external/fsharpbinding"]
path = main/external/fsharpbinding
- url = https://github.com/fsharp/xamarin-monodevelop-fsharp-addin.git
- branch = master
+ url = git://github.com/fsharp/fsharpbinding.git
+ branch = 5.9
[submodule "main/external/nuget-binary"]
path = main/external/nuget-binary
url = git://github.com/mono/nuget-binary.git