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-9f984867cd1b2959feb5fd11eaac55e0339a1e40.tar.gz compcert-9f984867cd1b2959feb5fd11eaac55e0339a1e40.zip |
powerpc/runtime: add comments
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions