diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-06-28 13:57:15 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-06-28 13:57:15 +0200 |
commit | 048df07c729ec6544b5bf1b9248dd6341fabb503 (patch) | |
tree | 2b0e54966538c8bd4ea0ad99af2e31b28187c24f /.gitignore | |
parent | 8a7e65c75bd395efcef8d14b17eb1275e2023c9e (diff) | |
download | compcert-kvx-048df07c729ec6544b5bf1b9248dd6341fabb503.tar.gz compcert-kvx-048df07c729ec6544b5bf1b9248dd6341fabb503.zip |
Revert "Update git ignore spec"
This reverts commit 414225093054f0fdd9222e0ba9fbb95d345f5457.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -27,7 +27,6 @@ _CoqProject # Generated files .depend .depend.extr -additional_files compcert.ini x86/ConstpropOp.v x86/SelectOp.v |