add execution rights

This commit is contained in:
kai
2025-05-31 14:00:55 +02:00
parent e36d38d7bf
commit bad5d3de6d

0
lab10/jacobi/do_all.sh Normal file → Executable file
View File