diff options
| author | johnvg | 2009-07-29 11:31:58 +0000 |
|---|---|---|
| committer | johnvg | 2009-07-29 11:31:58 +0000 |
| commit | 619e36129f88be39c4e51c77f1cf8404b74e0711 (patch) | |
| tree | cea931dcd4d6461035ec1eba893608a9d5243cf2 /unix/make.linux64.sh | |
| parent | remove some unused code, fix some typos (diff) | |
fix selective uses in refMarkOfVariable if used completely and by selector
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1748 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'unix/make.linux64.sh')
0 files changed, 0 insertions, 0 deletions