diff options
author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2015-11-16 18:34:34 +0300 |
---|---|---|
committer | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2015-11-16 18:34:34 +0300 |
commit | 98a1a53a5cf6b4ac3dacce6b6dd8409b63fc74c0 (patch) | |
tree | c7ce704054daa0e7c30c8d70cdd8e838b855c429 /.gitmodules | |
parent | 951ea03230c8f61a9489b931ac323ad5c4fdff77 (diff) |
[FSharp] Use git protocol for cloning.
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index deba29fb13..f066d8f50d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -26,7 +26,7 @@ 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 + url = git://github.com/fsharp/xamarin-monodevelop-fsharp-addin.git branch = master [submodule "main/external/nuget-binary"] path = main/external/nuget-binary |