Removing Minnelli theme from core

sites/default/default.settings.php

@@ -202,7 +202,7 @@ ini_set('url_rewriter.tags',        '');
  */
 # $conf = array(
 #   'site_name' => 'My Drupal site',
-#   'theme_default' => 'minnelli',
+#   'theme_default' => 'garland',
 #   'anonymous' => 'Visitor',
 /**
  * A custom theme can be set for the off-line page. This applies when the site
@@ -212,7 +212,7 @@ ini_set('url_rewriter.tags',        '');
  * theme. It is located inside 'modules/system/maintenance-page.tpl.php'.
  * Note: This setting does not apply to installation and update pages.
  */
-#   'maintenance_theme' => 'minnelli',
+#   'maintenance_theme' => 'garland',
 /**
  * reverse_proxy accepts a boolean value.
  *