diff options
author | Lluis Sanchez Gual <lluis@xamarin.com> | 2015-07-09 23:01:32 +0300 |
---|---|---|
committer | Lluis Sanchez Gual <lluis@xamarin.com> | 2015-07-09 23:01:32 +0300 |
commit | c6b52e1b1a02dda11d483e4245d25136d405c9c4 (patch) | |
tree | 5bf16fe7b7b6b0ebd348f89285782846d4ab9774 /.gitmodules | |
parent | 600030348ed17c2cb3b0301ce09097ea028397d6 (diff) | |
parent | 5c16b401e40fd1c9235d47ace9ab99bd97ad91c3 (diff) |
Merge remote-tracking branch 'origin/master' into roslyn
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 4 |
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 |