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