Skip to content

Commit 7a667c6

Browse files
committed
Update .gitignore
1 parent c8dd4d4 commit 7a667c6

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
@@ -2,6 +2,7 @@
22
*~
33
*.exe
44
*.bc
5+
*.zci
56
.merlin
67
config.ml
78
_build/

0 commit comments

Comments
 (0)