From 152d7b78ead507e34f72b18132d18420037fd764 Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Mon, 23 Nov 2009 20:15:41 +0000 Subject: [PATCH] Add .gitignore file for git. --- .gitignore | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..586dcfa --- /dev/null +++ b/.gitignore @@ -0,0 +1,12 @@ +*~ +CVS +*.cma +*.cmi +*.cmo +*.cmx +*.cmxa +test +example +csvtool +ocaml-csv-*.tar.gz +html -- 1.8.3.1