From ce44dde2c68e19b3ccd6576baf31e705d5458101 Mon Sep 17 00:00:00 2001
From: Marc Villain <marc.villain@epita.fr>
Date: Sun, 22 Feb 2026 21:02:02 +0100
Subject: [PATCH] misc(tools): set exec flags

---
 tools/docker_clean.sh     | 0
 tools/docker_stop.sh      | 0
 tools/docker_uninstall.sh | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tools/docker_clean.sh
 mode change 100644 => 100755 tools/docker_stop.sh
 mode change 100644 => 100755 tools/docker_uninstall.sh

diff --git a/tools/docker_clean.sh b/tools/docker_clean.sh
old mode 100644
new mode 100755
diff --git a/tools/docker_stop.sh b/tools/docker_stop.sh
old mode 100644
new mode 100755
diff --git a/tools/docker_uninstall.sh b/tools/docker_uninstall.sh
old mode 100644
new mode 100755