From 67692243079a6ff9d81279b2d65f70a27313ad41 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Wed, 13 Jul 2022 10:33:37 +0200
Subject: [PATCH] make tmtcc.py executable

---
 tmtcc.py | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 tmtcc.py

diff --git a/tmtcc.py b/tmtcc.py
old mode 100644
new mode 100755