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:
authorMarius Ungureanu <marius.ungureanu@xamarin.com>2013-12-13 17:51:03 +0400
committerMarius Ungureanu <marius.ungureanu@xamarin.com>2013-12-13 17:51:03 +0400
commitf9c793e3fdd3edfb053786bfeebe2a3b6a36ccf7 (patch)
tree9808a36d7dd94ee14de9333636499d005d7f1388 /.gitmodules
parente6fc50df8a5eac89a626846f7e478680742705bf (diff)
Change repo to fsharp/fsharpbinding
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules
index 2bbb2d3507..b4c4ee7a9f 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -37,7 +37,7 @@
url = git://github.com/mono/guiunit.git
[submodule "main/external/fsharpbinding"]
path = main/external/fsharpbinding
- url = git://github.com/slluis/fsharpbinding.git
+ url = git://github.com/fsharp/fsharpbinding.git
[submodule "main/external/raygun4net"]
path = main/external/raygun4net
url = git://github.com/mono/raygun4net.git