diff options
| author | johnvg | 2015-09-17 13:03:16 +0000 |
|---|---|---|
| committer | johnvg | 2015-09-17 13:03:16 +0000 |
| commit | dd9312ec003392f80ebe20cfb27b145072a0e7ab (patch) | |
| tree | 56c2d6a47e7bc35221afb0cb06e688845a2846ed /frontend | |
| parent | remove .o files generated by c compiler in call to clm, (diff) | |
fix name in descriptor for unboxed lists of records if exporting local labels (again)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2632 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
0 files changed, 0 insertions, 0 deletions