diff options
author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2016-01-15 14:24:01 +0300 |
---|---|---|
committer | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2016-01-15 14:24:01 +0300 |
commit | fd387b94d12cda4244df09e2f85e2606e1c0e2d6 (patch) | |
tree | bcf2c04d08ce33678c33b2a1a2b443730063ca1e /.gitmodules | |
parent | 4ebeb70f0cdd9e9724080d327e6a8f6168af1e90 (diff) | |
parent | cea70d807fd207467097b7c10d86a6260a6a6958 (diff) |
Merge remote-tracking branch 'origin/master' into roslyn-dark-skin
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index b4b4eb8ee8..9597b87b04 100644 --- a/.gitmodules +++ b/.gitmodules @@ -27,7 +27,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 |