scripts: hoffentlich arbeitet bench.sh nun korrekt

[testub10.git] / gesamt / intelli_00.instr

diff --git a/gesamt/intelli_00.instr b/gesamt/intelli_00.instr
index 2bd5a0a98a36cc08ada88b804d3be047e6aa5b8a..b1bd38b62a0800a4f6a80c34e21c5acffae52c7e 100644 (file)
--- a/gesamt/intelli_00.instr
+++ b/gesamt/intelli_00.instr
@@ -1 +1 @@
-22
+13