diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-05-30 11:39:36 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-05-30 11:39:36 +0200 |
| commit | 0f218739cb6252012922863e92d8b12cb3e66b48 (patch) | |
| tree | f132a267fbfe1783805731be33cbd804b085a132 /x86_32 | |
| parent | e6177a7994a0fbfbed5e11898b282429c2e54a8e (diff) | |
| download | compcert-0f218739cb6252012922863e92d8b12cb3e66b48.tar.gz compcert-0f218739cb6252012922863e92d8b12cb3e66b48.zip | |
Mention optional installation of .vo files
Diffstat (limited to 'x86_32')
0 files changed, 0 insertions, 0 deletions