Skip to content

Commit a02e9bf

Browse files
mattam82mattam82
committed
Update gitignore
1 parent d8f321b commit a02e9bf

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
*.annot
12
.coq_config
23
*.cm*
34
*.vo

0 commit comments

Comments
 (0)