Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

update gitginore with latex and ocaml junk

  • Loading branch information...
commit 0c3213882b91c4757840a35fb030524f011dddf6 1 parent f20eed3
@namin authored
Showing with 5 additions and 0 deletions.
  1. +5 −0 .gitignore
View
5 .gitignore
@@ -1,5 +1,10 @@
*.vo
*.glob
.depend
+*.aux
+*.log
+*.out
+*.cmi
+*.cmx
*~
*#
Please sign in to comment.
Something went wrong with that request. Please try again.