diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-11-03 17:33:35 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-11-03 17:33:35 +0100 |
commit | ba1a2f8f667202a53412e39e7b26091051d59630 (patch) | |
tree | 5dad30411530e19b96ba81447022fe36914cbea3 /cfrontend/Csyntax.v | |
parent | b657f957dadffd2e55c895957d506146997fade6 (diff) | |
download | compcert-ba1a2f8f667202a53412e39e7b26091051d59630.tar.gz compcert-ba1a2f8f667202a53412e39e7b26091051d59630.zip |
update info about x86 in manpage
Diffstat (limited to 'cfrontend/Csyntax.v')
0 files changed, 0 insertions, 0 deletions