diff options
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/mac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/mac b/profiles/mac index 0b7086ba67..bd7752a93d 100644 --- a/profiles/mac +++ b/profiles/mac @@ -1,2 +1,3 @@ main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests extras/MonoDevelop.Database +main/external/fsharpbinding/monodevelop --addins-dir=bin/local/Debug |