diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-05-24 13:37:26 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-24 13:37:26 +0100 |
| commit | 0c5ca8061a887f397991e62b580d5fc2f6484336 (patch) | |
| tree | e88a030a675dad4ab7ea19842300b21032d69286 /.gitignore | |
| parent | bb8a935f9143e65102a3a498a96dd13a3b8a4801 (diff) | |
| download | vericert-0c5ca8061a887f397991e62b580d5fc2f6484336.tar.gz vericert-0c5ca8061a887f397991e62b580d5fc2f6484336.zip | |
Add .gitignore for *.vok *.vos
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -17,6 +17,8 @@ *.v.d *.vio *.vo +*.vok +*.vos .coq-native/ .csdp.cache .lia.cache |