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
path: root/main
diff options
context:
space:
mode:
authorlluis <lluis@xamarin.com>2015-12-15 18:44:09 +0300
committerlluis <lluis@xamarin.com>2015-12-15 18:44:09 +0300
commit7530c064b4f114dde92a0f216a12eaa84b7a836b (patch)
tree9304b81bd4d1c3c76e6e01bf8cede7fb0718cf7b /main
parent7d0b0e24ab045f78403dea78e531adb9f8b90155 (diff)
Updated references to xamarin-monodevelop-fsharp-addin, md-addins
Diffstat (limited to 'main')
m---------main/external/fsharpbinding13
1 files changed, 5 insertions, 8 deletions
diff --git a/main/external/fsharpbinding b/main/external/fsharpbinding
-Subproject b2a3b8f811d119ffb9275d681bc4c3800a95a0c
+Subproject 6c69fec5590667dbf15441e5c654d59e72d50ef