From bad5d3de6d3e20500673d7d13acf7709a426eaf6 Mon Sep 17 00:00:00 2001 From: kai Date: Sat, 31 May 2025 14:00:55 +0200 Subject: [PATCH] add execution rights --- lab10/jacobi/do_all.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 lab10/jacobi/do_all.sh diff --git a/lab10/jacobi/do_all.sh b/lab10/jacobi/do_all.sh old mode 100644 new mode 100755