diff options
| author | Andre <maroneze@users.noreply.github.com> | 2019-01-22 14:32:25 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-01-22 14:32:25 +0100 |
| commit | 8a1f8f93d7e17154743daa1139a8971a51ec70c3 (patch) | |
| tree | 409754a6edff660eecc02938786a8aebc6af04a0 /runtime/include | |
| parent | 459f6414ee9ba5a0a8e138ab589eb3e1b88b5daa (diff) | |
| download | compcert-kvx-8a1f8f93d7e17154743daa1139a8971a51ec70c3.tar.gz compcert-kvx-8a1f8f93d7e17154743daa1139a8971a51ec70c3.zip | |
Fix some URLs in the first page of the Coq HTML documentation (#263)
Links to machine-specific modules were garbled during editing.
Diffstat (limited to 'runtime/include')
0 files changed, 0 insertions, 0 deletions