Remove settings/settings.php

This was only a stub to warn when something was executed directly from utils/ in the source directory. This is no longer possible.
2018-12-02 11:16:41 +01:00
parent e70f405abd
commit 11c91e3b8d
1 changed files with 0 additions and 4 deletions
--- a/settings/settings.php
+++ b/settings/settings.php
@@ -1,4 +0,0 @@
-<?php
-
-echo "ERROR: Scripts must be run from build directory.\n";
-exit(1);