diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-02-28 09:46:07 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-28 09:46:07 +0000 |
commit | 1252ed9252abc91dec15a240e2866d5344d3d81f (patch) | |
tree | a3cf0db45c171da95794f72d973fb397d6ff6950 /_CoqProject | |
parent | 7a09bbe8d18abb376104e1399fc84ce911d8897d (diff) | |
download | vericert-1252ed9252abc91dec15a240e2866d5344d3d81f.tar.gz vericert-1252ed9252abc91dec15a240e2866d5344d3d81f.zip |
Update .gitignore
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions