From 7b0482ea0c4961c63976c7741d25ffa5ecff440e Mon Sep 17 00:00:00 2001 From: Johannes Hausmann Date: Thu, 5 Oct 2023 17:04:14 +0200 Subject: [PATCH] Replace whitespace with tab in Makefile --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 5e054f7..4589a34 100755 --- a/Makefile +++ b/Makefile @@ -22,7 +22,7 @@ test: bash tests/scripts/test_11.sh bash tests/scripts/test_12.sh bash tests/scripts/test_13.sh - bash tests/scripts/test_14.sh - bash tests/scripts/test_15.sh - bash tests/scripts/test_16.sh + bash tests/scripts/test_14.sh + bash tests/scripts/test_15.sh + bash tests/scripts/test_16.sh bash tests/scripts/test_python_unit_tests.sh