diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-06-26 10:12:50 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-26 10:12:50 +0100 |
| commit | 9f0678294da4b515d0aec90eacee224d8ed73a66 (patch) | |
| tree | 7445c25fa7894bbcdc4bac28705dd573ed93b7fa | |
| parent | 7eeb169b982af90fac9873956e70d2c471555c31 (diff) | |
| download | vericert-9f0678294da4b515d0aec90eacee224d8ed73a66.tar.gz vericert-9f0678294da4b515d0aec90eacee224d8ed73a66.zip | |
Add COHPREDSTAMP to .gitignore
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -93,3 +93,5 @@ creduce_bug_*/ /results* _CoqProject + +lib/COHPREDSTAMP
\ No newline at end of file |