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:
authornosami <jasonimison@gmail.com>2016-05-09 00:48:43 +0300
committernosami <jasonimison@gmail.com>2016-05-19 14:58:23 +0300
commitc19c622ee4b2542538a21d3e336d1f40197990e4 (patch)
tree794ac44591d0b0f9b2a7e8f48e04aa2c50a968ad /profiles
parentd115d060705c9b0773b9fbfcc3be21722f72f662 (diff)
[F#] Add F# projects to main sln
Diffstat (limited to 'profiles')
-rw-r--r--profiles/mac3
1 files changed, 1 insertions, 2 deletions
diff --git a/profiles/mac b/profiles/mac
index cc75bb7428..879f24ce13 100644
--- a/profiles/mac
+++ b/profiles/mac
@@ -1,2 +1 @@
-main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests
-main/external/fsharpbinding --addins-dir=bin --no-prefix
+main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests \ No newline at end of file