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>2013-09-18 22:14:08 +0400
committerLluis Sanchez Gual <lluis@xamarin.com>2013-09-18 22:14:08 +0400
commit9ba69f0e45a2962efec0bb5a8ce67dd78dc1534f (patch)
tree55b82862a5d596991bcb5f4a199c9f26a2e7dbb7 /.gitmodules
parentc03f768235b2e5f08667d897806de432eb388b70 (diff)
Bump fsharpbinding
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules
index 9af2f2144c..408cd9e6e2 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -39,4 +39,4 @@
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