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:
-rw-r--r--.gitmodules2
m---------main/external/fsharpbinding13
2 files changed, 9 insertions, 6 deletions
diff --git a/.gitmodules b/.gitmodules
index 8b53001317..70baa305cf 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 = https://github.com/slluis/FSharpMDXS.git
+ url = https://github.com/fsharp/FSharpMDXS.git
branch = new-project-model
[submodule "main/external/nuget-binary"]
path = main/external/nuget-binary
diff --git a/main/external/fsharpbinding b/main/external/fsharpbinding
-Subproject 448cccce153ad1f9487c4742ce6089d689571be
+Subproject e0c22a894bc2b6150d84bd759d8def9e325b374