Skip to content

Commit a5bf848

Browse files
amilleramiller
committed
gitignore
Signed-off-by: Andrew Miller <[email protected]>
1 parent a516a8b commit a5bf848

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

‎.gitignore

+2-1
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,5 @@
33
*.cmo
44
*.cmt
55
*.cmi
6-
*.cmti
6+
*.cmti
7+
*.o

0 commit comments

Comments
 (0)