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:
Diffstat (limited to 'profiles')
-rw-r--r--profiles/core1
-rw-r--r--profiles/macdev2
2 files changed, 1 insertions, 2 deletions
diff --git a/profiles/core b/profiles/core
index ba2906d066..403cde001c 100644
--- a/profiles/core
+++ b/profiles/core
@@ -1 +1,2 @@
main
+extras/MonoDevelop.Database
diff --git a/profiles/macdev b/profiles/macdev
deleted file mode 100644
index 0b7086ba67..0000000000
--- a/profiles/macdev
+++ /dev/null
@@ -1,2 +0,0 @@
-main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests
-extras/MonoDevelop.Database