diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-28 11:01:57 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-28 11:01:57 +0200 |
| commit | 7d029e3037b64dca6224151ea143d23cd03a26cd (patch) | |
| tree | 969460e98e299c7dc84899f7b4f62531cbec33c4 /runtime/x86_32 | |
| parent | 9922feea537ced718a3822dd50eabc87da060338 (diff) | |
| download | compcert-7d029e3037b64dca6224151ea143d23cd03a26cd.tar.gz compcert-7d029e3037b64dca6224151ea143d23cd03a26cd.zip | |
runtime/powerpc: remove useless files, add comments
Diffstat (limited to 'runtime/x86_32')
0 files changed, 0 insertions, 0 deletions