From 11c91e3b8d5921dba478ac0b2191d3c1aba67b73 Mon Sep 17 00:00:00 2001
From: Sarah Hoffmann <lonvia@denofr.de>
Date: Sun, 2 Dec 2018 11:16:41 +0100
Subject: [PATCH] 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.
---
 settings/settings.php | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 settings/settings.php

diff --git a/settings/settings.php b/settings/settings.php
deleted file mode 100644
index 907a9fa0..00000000
--- a/settings/settings.php
+++ /dev/null
@@ -1,4 +0,0 @@
-<?php
-
-echo "ERROR: Scripts must be run from build directory.\n";
-exit(1);
-- 
2.39.5