From 39a3f5790a5827bd3f46071d3d94e48c3c53b595 Mon Sep 17 00:00:00 2001
From: Alexander Grund <alexander.grund@tu-dresden.de>
Date: Mon, 24 Oct 2022 16:09:52 +0200
Subject: [PATCH] Make format_sources executable

---
 tools/format_sources.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/format_sources.sh

diff --git a/tools/format_sources.sh b/tools/format_sources.sh
old mode 100644
new mode 100755