Add .gitignore file for git. master
authorRichard Jones <rjones@redhat.com>
Mon, 23 Nov 2009 20:15:41 +0000 (20:15 +0000)
committerRichard Jones <rjones@redhat.com>
Mon, 23 Nov 2009 20:15:41 +0000 (20:15 +0000)
.gitignore [new file with mode: 0644]

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..586dcfa
--- /dev/null
@@ -0,0 +1,12 @@
+*~
+CVS
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+test
+example
+csvtool
+ocaml-csv-*.tar.gz
+html