diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-02-18 18:52:31 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-02-18 18:52:31 +0000 |
| commit | 6179fd8a581a38ae7a0ee83d64f8ac4ec1747d70 (patch) | |
| tree | 781d2449fbb9c04f31e9cb686237344084bcd1ef /.gitattributes | |
| parent | 036e3ff69e3b9d20ec0f4abcf60284eee232e57d (diff) | |
| download | vericert-6179fd8a581a38ae7a0ee83d64f8ac4ec1747d70.tar.gz vericert-6179fd8a581a38ae7a0ee83d64f8ac4ec1747d70.zip | |
Remove aborted evaluable proofs
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions