diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-04-03 10:21:20 +0100 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-04-03 10:21:20 +0100 |
| commit | 73efecdedfbc5b344410d326a104792eb29aec05 (patch) | |
| tree | 4581408d5a09fa293619c9452da033286949abe3 /Tools/CodeGen/Differencing.m | |
| parent | 14339ede81a5dd497c1fb4622d7f77b0f3e1815e (diff) | |
KrancThorn.m: Remove useless wrapper for creating configuration file
Diffstat (limited to 'Tools/CodeGen/Differencing.m')
0 files changed, 0 insertions, 0 deletions