diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-04-23 14:09:43 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-04-27 09:57:40 +0200 |
commit | f58e6695bc29b9e29650b9e5ae8d3d718ca74281 (patch) | |
tree | e5e6a80e68eb9e717541dcaa835125c93bfd8bc4 /Makefile | |
parent | 64fe7f462c4dd204ac5ffaed48edbf9698485d94 (diff) | |
download | compcert-kvx-f58e6695bc29b9e29650b9e5ae8d3d718ca74281.tar.gz compcert-kvx-f58e6695bc29b9e29650b9e5ae8d3d718ca74281.zip |
Updated .gitignore
compile.pl is a build artefact.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions