From 980f8e02e50fd8769cc4d21b274493eab684ae5d Mon Sep 17 00:00:00 2001
From: OpenSauce04 <opensauce04@gmail.com>
Date: Thu, 17 Jul 2025 22:41:54 +0100
Subject: [PATCH] tools: Added delete-ignored-files.sh

This script deletes all files and directories which are ignored by
---
 tools/delete-ignored-files.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 tools/delete-ignored-files.sh

diff --git a/tools/delete-ignored-files.sh b/tools/delete-ignored-files.sh
new file mode 100755
index 000000000..19c8545e0
--- /dev/null
+++ b/tools/delete-ignored-files.sh
@@ -0,0 +1,7 @@
+#!/bin/bash -ex
+
+# This script assumes that Git is installed
+
+# The following deletes all files and directories which are ignored by `.gitignore`
+
+git clean -dfX