diff options
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 |