diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:49:35 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:49:35 +0100 |
commit | 9d4bb7ec914566b3920cca3c6823515448fb65c1 (patch) | |
tree | 931228f217a744e3a2a63bebd1f5ad94f049273f /test/spass/doc-proof.h | |
parent | 2543f6ecca50e930c23b705f6a3796ca05db85ff (diff) | |
download | compcert-9d4bb7ec914566b3920cca3c6823515448fb65c1.tar.gz compcert-9d4bb7ec914566b3920cca3c6823515448fb65c1.zip |
Cleanup opens
Diffstat (limited to 'test/spass/doc-proof.h')
0 files changed, 0 insertions, 0 deletions