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 <lluis@xamarin.com>2013-09-19 14:12:03 +0400
committerLluis Sanchez <lluis@xamarin.com>2013-09-19 14:12:03 +0400
commitca939d11d03f6511e962a8b54dd1015c61abc74c (patch)
treea865475776a7e2aa10634f1ad8502e46fdc1913c /.gitmodules
parentb196a0c1e97118ebd086d309c9fd97c945c294a0 (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 408cd9e6e2..9af2f2144c 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/fsharp/fsharpbinding.git
+ url = git://github.com/slluis/fsharpbinding.git