diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-29 19:10:30 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-05-29 19:10:30 +0200 |
commit | 01674e9c79d0ddf77f3a97f80267d3fd01d19774 (patch) | |
tree | 16ed616fdf5dc398e35fbfcca3b490f519ade340 /.gitignore | |
parent | 17c564cb99076eb0e2b34eeed4f24a18febe7116 (diff) | |
download | compcert-kvx-01674e9c79d0ddf77f3a97f80267d3fd01d19774.tar.gz compcert-kvx-01674e9c79d0ddf77f3a97f80267d3fd01d19774.zip |
rename result file
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions