diff --git a/sites/default/default.settings.php b/sites/default/default.settings.php
index 05cfdc4..60d3b57 100644
--- a/sites/default/default.settings.php
+++ b/sites/default/default.settings.php
@@ -443,3 +443,11 @@ ini_set('session.cookie_lifetime', 2000000);
  * Remove the leading hash signs to disable.
  */
 # $conf['allow_authorize_operations'] = FALSE;
+
+/**
+ * Include a local settings file if it exists.
+ */
+$local_settings = dirname(__FILE__) . '/settings.local.php';
+if (file_exists($local_settings)) {
+  include $local_settings;
+}