Merge branch 'master' into ppc

[testub10.git] / gesamt / codeb_intelli_12.instr

diff --git a/gesamt/codeb_intelli_12.instr b/gesamt/codeb_intelli_12.instr
new file mode 100644 (file)
index 0000000..f04c001
--- /dev/null
+++ b/gesamt/codeb_intelli_12.instr
@@ -0,0 +1 @@
+29