diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-28 11:02:48 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-28 11:02:48 +0200 |
| commit | 9f984867cd1b2959feb5fd11eaac55e0339a1e40 (patch) | |
| tree | f445baced9c1e709e3b6447a407e203981d343a5 /exportclight | |
| parent | 7d029e3037b64dca6224151ea143d23cd03a26cd (diff) | |
| download | compcert-kvx-9f984867cd1b2959feb5fd11eaac55e0339a1e40.tar.gz compcert-kvx-9f984867cd1b2959feb5fd11eaac55e0339a1e40.zip | |
powerpc/runtime: add comments
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions