From 1166d4e54bd5358f6449ec937ba50432d5d9c608 Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Mon, 16 Nov 2009 12:41:34 +0000 Subject: [PATCH] Add .gitignore file. --- .gitignore | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..6b454fb --- /dev/null +++ b/.gitignore @@ -0,0 +1,21 @@ +*~ +*.o +*.so +*.a +*.cmi +*.cmo +*.cmx +*.cma +*.cmxa +ocaml-augeas-*.tar.gz +Makefile +META +configure +autom4te.cache +config.h.in +config.h +config.log +config.status +html +test_root +test_augeas -- 1.8.3.1