diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-12-06 18:51:59 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-12-06 18:51:59 +0100 |
commit | 6ed58d0f7a800b3ce1ca815b7b348a9cbf7af0eb (patch) | |
tree | f214bab02ab0a5297b826ca9759dd5cefd030fbd /.gitlab-ci.yml | |
parent | 86fa4cc62f34f8fda7ea324c692101a97b4b8166 (diff) | |
download | compcert-kvx-6ed58d0f7a800b3ce1ca815b7b348a9cbf7af0eb.tar.gz compcert-kvx-6ed58d0f7a800b3ce1ca815b7b348a9cbf7af0eb.zip |
update the README and INSTALL documents
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions