diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-06-28 13:51:55 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-06-28 13:51:55 +0200 |
| commit | 8a7e65c75bd395efcef8d14b17eb1275e2023c9e (patch) | |
| tree | 65e3d5959bc5d2967d91862edb0406f5d3668310 /.gitignore | |
| parent | 6bece6366fb66be3d1ac6d2586f3f8643fed97aa (diff) | |
| parent | 414225093054f0fdd9222e0ba9fbb95d345f5457 (diff) | |
| download | compcert-kvx-8a7e65c75bd395efcef8d14b17eb1275e2023c9e.tar.gz compcert-kvx-8a7e65c75bd395efcef8d14b17eb1275e2023c9e.zip | |
Merge branch 'master' of /common/repositories/git/tools/compcert
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -27,6 +27,7 @@ _CoqProject # Generated files .depend .depend.extr +additional_files compcert.ini x86/ConstpropOp.v x86/SelectOp.v |