diff options
author | ronny | 2002-02-12 09:17:15 +0000 |
---|---|---|
committer | ronny | 2002-02-12 09:17:15 +0000 |
commit | 1349a9331834df8847bda9d9c5fde5312079bcdb (patch) | |
tree | 7b8cdb100ccce75abd82d8a16414c6265144d45f /backend/Clean System Files/backend_library | |
parent | removed comments that marked various patches (diff) |
removed useless strictness annotations
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1017 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/Clean System Files/backend_library')
0 files changed, 0 insertions, 0 deletions