diff options
author | johnvg | 2005-11-11 13:41:48 +0000 |
---|---|---|
committer | johnvg | 2005-11-11 13:41:48 +0000 |
commit | a16b73abec267ae738dbd8dbe47c9098a4752652 (patch) | |
tree | d09891e372818d78363b9c56eba8a2ad950c8e73 /main/Unix | |
parent | remove code for compatibility with Clean 1.3 (diff) |
remove code for compatibility with Clean 1.3
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1560 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/Unix')
0 files changed, 0 insertions, 0 deletions