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:
authorVincent Dondain <vincent.dondain@xamarin.com>2015-07-09 19:57:26 +0300
committerVincent Dondain <vincent.dondain@xamarin.com>2015-07-09 19:57:26 +0300
commit90d977676581d63c2f0d4e9e8990b043b06936ac (patch)
tree8fc3a73d91b0b7377d8afa7d3e94018ea2508ea6 /.gitmodules
parent60f10b996129fe234daa4326fc3508e0baf3e940 (diff)
Moved to fsharpbinding 5.9
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules
index f776746012..c07ce77afd 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -27,7 +27,7 @@
[submodule "main/external/fsharpbinding"]
path = main/external/fsharpbinding
url = git://github.com/fsharp/fsharpbinding.git
- branch = master
+ branch = 5.9
[submodule "main/external/nuget-binary"]
path = main/external/nuget-binary
url = git://github.com/mono/nuget-binary.git