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:
authorLluis Sanchez <lluis@xamarin.com>2014-02-05 19:55:16 +0400
committerLluis Sanchez <lluis@xamarin.com>2014-02-05 19:55:16 +0400
commitf60a057788e359818e7200831b72bc1d74b386e0 (patch)
treecf3c2ff5928b6c6aba0ab03ea2f4a98cc6ee49ea /profiles
parentd044ab4d561de81554611d4aa2baf9f4e33490a0 (diff)
Don't build the database add-in for now
Diffstat (limited to 'profiles')
-rw-r--r--profiles/mac1
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/mac b/profiles/mac
index 0b7086ba67..ff852fb8f4 100644
--- a/profiles/mac
+++ b/profiles/mac
@@ -1,2 +1 @@
main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests
-extras/MonoDevelop.Database