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 /configure | |
| parent | b657f957dadffd2e55c895957d506146997fade6 (diff) | |
| download | compcert-ba1a2f8f667202a53412e39e7b26091051d59630.tar.gz compcert-ba1a2f8f667202a53412e39e7b26091051d59630.zip | |
update info about x86 in manpage
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions