Skip to content

Commit

Permalink
Update gitignore for .vok and .vos
Browse files Browse the repository at this point in the history
  • Loading branch information
@SimonBoulier
SimonBoulier committed Mar 3, 2020
1 parent 00e2150 commit 7728151
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@ docs/_site
.coq_config
*.cm*
*.vo
*.vok
*.vos
*.v.d
*.glob
Makefile.coq
Expand Down

0 comments on commit 7728151

Please sign in to comment.