From a8a70234c3308524873d46db5644f92de85ab75b Mon Sep 17 00:00:00 2001 From: mathusummut Date: Sat, 16 Mar 2019 12:43:00 +0100 Subject: [PATCH] Renamed file --- source/tools/support/linux/{system_report => system_report.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename source/tools/support/linux/{system_report => system_report.sh} (100%) mode change 100755 => 100644 diff --git a/source/tools/support/linux/system_report b/source/tools/support/linux/system_report.sh old mode 100755 new mode 100644 similarity index 100% rename from source/tools/support/linux/system_report rename to source/tools/support/linux/system_report.sh