diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-04-12 18:38:39 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-04-12 18:38:39 +0200 |
commit | 5a846f2aeb5eb659c1b510e3fb27e49677cb8680 (patch) | |
tree | b5a14c5ba7f629d0742c4f599aa1898c35122734 /Makefile | |
parent | 76844ba0af1ed68cc542d08bfa335deb59545267 (diff) | |
download | compcert-kvx-5a846f2aeb5eb659c1b510e3fb27e49677cb8680.tar.gz compcert-kvx-5a846f2aeb5eb659c1b510e3fb27e49677cb8680.zip |
rm spurious files
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions