Skip to content

Commit

Permalink
gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
mjambon committed Sep 4, 2015
1 parent 915c36a commit ad7027d
Showing 1 changed file with 14 additions and 0 deletions.
14 changes: 14 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
*.cmi
*.cmo
*.cmx
*.cmxs
*.o
*.a
*.annot
META
basic.mli
out.html
read.ml
ydump
yojson.ml
yojson.mli

0 comments on commit ad7027d

Please sign in to comment.