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 /test/spass/partition.c | |
parent | 8a7e65c75bd395efcef8d14b17eb1275e2023c9e (diff) | |
download | compcert-048df07c729ec6544b5bf1b9248dd6341fabb503.tar.gz compcert-048df07c729ec6544b5bf1b9248dd6341fabb503.zip |
Revert "Update git ignore spec"
This reverts commit 414225093054f0fdd9222e0ba9fbb95d345f5457.
Diffstat (limited to 'test/spass/partition.c')
0 files changed, 0 insertions, 0 deletions