From 85373c8a282aabc4cf928f4da27ca3853162d751 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Eric=20M=C3=BCller?= <mueller@kip.uni-heidelberg.de>
Date: Thu, 1 Aug 2024 17:34:57 +0200
Subject: [PATCH] chore: bin/yashchiki now executable

Change-Id: I92a5269459e907814997cb95806d52a24f224611
---
 bin/yashchiki | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 bin/yashchiki

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