diff options
| author | 7sharp9 <dave.thomas@xamarin.com> | 2015-03-17 21:37:33 +0300 |
|---|---|---|
| committer | 7sharp9 <dave.thomas@xamarin.com> | 2015-03-17 21:38:05 +0300 |
| commit | c605124fcf4d01516703b1af935aab826eb9a210 (patch) | |
| tree | 94b62956d075fc4b1a2a61b3aff05bfe51b64192 /.gitmodules | |
| parent | 217cd7cec62069ab63fdd8a26b6c7ac6a3f572a8 (diff) | |
[fsharp]Update submodule and config to the new repo for the F# addin
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index 5e80fa6057..51dab65971 100644 --- a/.gitmodules +++ b/.gitmodules @@ -32,7 +32,7 @@ url = git://github.com/mono/guiunit.git [submodule "main/external/fsharpbinding"] path = main/external/fsharpbinding - url = git://github.com/fsharp/fsharpbinding.git + url = git://github.com/fsharp/fsharpmdxs.git branch = master [submodule "main/external/nuget-binary"] path = main/external/nuget-binary |