Skip to content

Commit 97bd227

Browse files
herowanzhuherowanzhu
committed
init
0 parents  commit 97bd227

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

‎.gitignore

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
*.annot
2+
*.cmi
3+
*.cmx
4+
*.o
5+
*.cmo
6+
*.svn-work
7+
*.svn-base
8+
*.quals
9+
*_instru.ml

0 commit comments

Comments
 (0)