From 37c08aa46b617dab1569d6e8d9c786fa2809f41b Mon Sep 17 00:00:00 2001
From: Georg Gadinger <nilsding@nilsding.org>
Date: Thu, 5 Jan 2023 10:14:12 +0100
Subject: [PATCH] make dev executable

---
 bin/dev | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 bin/dev

diff --git a/bin/dev b/bin/dev
old mode 100644
new mode 100755