Skip to content

Commit 6a166eb

Browse files
lastlandlastland
committed
Update .gitignore.
1 parent c08c97a commit 6a166eb

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

‎.gitignore‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,9 @@ Makefile.conf
2525
.Makefile.d
2626
.lia.cache
2727
Makefile
28+
.CoqMakefile.d
29+
CoqMakefile.conf
30+
build.log
2831

2932
# Haskell
3033
*.o

0 commit comments

Comments
 (0)