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 /doc/coq2html.js | |
parent | 9922feea537ced718a3822dd50eabc87da060338 (diff) | |
download | compcert-7d029e3037b64dca6224151ea143d23cd03a26cd.tar.gz compcert-7d029e3037b64dca6224151ea143d23cd03a26cd.zip |
runtime/powerpc: remove useless files, add comments
Diffstat (limited to 'doc/coq2html.js')
0 files changed, 0 insertions, 0 deletions