diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-17 19:22:50 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-17 19:23:05 +0200 |
| commit | fcb7f528c5540d97803a4784234b3aa9c9ebb854 (patch) | |
| tree | 6bd41fb9223e1c073976017855fb18b9dc67dbc8 /exportclight | |
| parent | 7a5aef7aa4b669a722ecce3da6e7f7c646a392cc (diff) | |
| download | compcert-kvx-fcb7f528c5540d97803a4784234b3aa9c9ebb854.tar.gz compcert-kvx-fcb7f528c5540d97803a4784234b3aa9c9ebb854.zip | |
Typo in Ctyping entry
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions