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:
author7sharp9 <dave.thomas@xamarin.com>2015-03-17 21:37:33 +0300
committer7sharp9 <dave.thomas@xamarin.com>2015-03-17 21:38:05 +0300
commitc605124fcf4d01516703b1af935aab826eb9a210 (patch)
tree94b62956d075fc4b1a2a61b3aff05bfe51b64192 /profiles
parent217cd7cec62069ab63fdd8a26b6c7ac6a3f572a8 (diff)
[fsharp]Update submodule and config to the new repo for the F# addin
Diffstat (limited to 'profiles')
-rw-r--r--profiles/mac2
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/mac b/profiles/mac
index 91f5c8a42d..9cc804993f 100644
--- a/profiles/mac
+++ b/profiles/mac
@@ -1,2 +1,2 @@
main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests
-main/external/fsharpbinding/monodevelop --addins-dir=bin/mac-linux/Debug --no-prefix
+main/external/fsharpbinding --addins-dir=bin/mac-linux/Debug --no-prefix