diff options
author | johnvg | 2011-02-25 13:34:54 +0000 |
---|---|---|
committer | johnvg | 2011-02-25 13:34:54 +0000 |
commit | 1f96dde0e1f9cedf75c9a6c4491d56ea24a718e0 (patch) | |
tree | f5ee19d7751f8ffe7bdc8f891039e0b9d42cb7ad /frontend/generics1.icl | |
parent | remove some unused fields and variables (diff) |
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1866 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/generics1.icl')
0 files changed, 0 insertions, 0 deletions