scripts: hoffentlich arbeitet bench.sh nun korrekt

[testub10.git] / gesamt / intelli_01.instr

diff --git a/gesamt/intelli_01.instr b/gesamt/intelli_01.instr
index dde92ddc1a594acd912b467305f36d9f26da45f3..c739b42c4d2ce23786c5350641d0adbf5fa7d6b2 100644 (file)
--- a/gesamt/intelli_01.instr
+++ b/gesamt/intelli_01.instr
@@ -1 +1 @@
-82
+44