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 /.gitignore | |
| parent | 64fe7f462c4dd204ac5ffaed48edbf9698485d94 (diff) | |
| download | compcert-kvx-f58e6695bc29b9e29650b9e5ae8d3d718ca74281.tar.gz compcert-kvx-f58e6695bc29b9e29650b9e5ae8d3d718ca74281.zip | |
Updated .gitignore
compile.pl is a build artefact.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -26,6 +26,7 @@ /Makefile.config /.merlin /_CoqProject +/compile.pl # Generated files /.depend /.depend.extr |