diff options
author | Ian Hinder <ian.hinder@aei.mpg.de> | 2011-11-29 01:02:46 +0100 |
---|---|---|
committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2011-11-29 01:02:46 +0100 |
commit | a1fdc9115777c9dace3e7eba75c2c29bed2671f2 (patch) | |
tree | a4f6aedd759c56f3096c7e25ddfc469370c8c27c /Auxiliary/Cactus | |
parent | 9120e252a38500357985b991f20021dd17021ea9 (diff) |
CodeGenC.m: Eliminate messages about source language
C is the only language that currently works
Diffstat (limited to 'Auxiliary/Cactus')
0 files changed, 0 insertions, 0 deletions