Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLluis Sanchez Gual <lluis@xamarin.com>2015-05-21 19:45:10 +0300
committerLluis Sanchez Gual <lluis@xamarin.com>2015-05-21 19:45:10 +0300
commitac5dc5ff23f6b52725c5f7bdee6b4eb73b1b1a1c (patch)
tree989892c68991d4980b07fa3b13e271e2f7c4baed /.gitmodules
parent959fb12aef275e4c887e19af226a03fa36015e96 (diff)
Update f# add-in repo
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules
index 943f151a49..ff277fc11a 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -29,7 +29,7 @@
url = git://github.com/mono/guiunit.git
[submodule "main/external/fsharpbinding"]
path = main/external/fsharpbinding
- url = https://github.com/fsharp/FSharpMDXS.git
+ url = https://github.com/fsharp/xamarin-monodevelop-fsharp-addin.git
branch = master
[submodule "main/external/nuget-binary"]
path = main/external/nuget-binary