diff options
author | johnvg | 2016-06-06 12:46:40 +0000 |
---|---|---|
committer | johnvg | 2016-06-06 12:46:40 +0000 |
commit | a8f16b82f32693500551108af818342f4a2faa63 (patch) | |
tree | b1118f533219c28054a119183ef821ae5d037b39 /backendC/CleanCompilerSources/set_scope_numbers.h | |
parent | remove unused fields and types (diff) |
remove #ifdef CLEAN2
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2719 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC/CleanCompilerSources/set_scope_numbers.h')
0 files changed, 0 insertions, 0 deletions