diff options
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/core | 1 | ||||
-rw-r--r-- | profiles/macdev | 2 |
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 |