From eb829d20d9aaf18aade1d71e2fbf48b011a14e45 Mon Sep 17 00:00:00 2001
From: who-biz <37732338+who-biz@users.noreply.github.com>
Date: Wed, 6 Sep 2023 18:49:32 +0000
Subject: [PATCH] Replace spaces with tabs, automatically changed by accident

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index fe56dd94..1f59eda9 100644
--- a/Makefile
+++ b/Makefile
@@ -152,7 +152,7 @@ clean:
         read -r -p "This will destroy the build directory, continue (y/N)?: " CONTINUE; \
 	[ $$CONTINUE = "y" ] || [ $$CONTINUE = "Y" ] || (echo "Exiting."; exit 1;)
 	rm -rf build
-    rm -rf external/backward/build
+	rm -rf external/backward/build
 
 tags:
 	ctags -R --sort=1 --c++-kinds=+p --fields=+iaS --extra=+q src contrib tests/gtest