Skip to content

Commit cc197d0

Browse files
committed
update .gitignore
1 parent 0e888f9 commit cc197d0

File tree

1 file changed

+0
-11
lines changed

1 file changed

+0
-11
lines changed

interpreter/.gitignore

Lines changed: 0 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,2 @@
1-
*.cmo
2-
*.cmx
3-
*.native
4-
*.byte
5-
*.opt
6-
*.unopt
7-
*.js
8-
*.zip
9-
*.mlpack
101
_build
112
wasm
12-
wasm.debug
13-

0 commit comments

Comments
 (0)