Skip to content

Commit 589efc3

Browse files
clarusclarus
committed
Updated .gitignore
1 parent 3cced2a commit 589efc3

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

‎.gitignore‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,9 @@
11
opam*/
22
Makefile
3+
.coq-native
34
extraction/*.ml
45
extraction/*.mli
6+
extraction/*.byte
57
extraction/*.native
68
extraction/_build
79
html/

0 commit comments

Comments
 (0)