From: Richard W.M. Jones Date: Thu, 31 Jul 2014 11:10:10 +0000 (+0100) Subject: Add .gitignore file. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=f1673f86fd358706beb7b5ce357eb4e0ff1d970a;p=ocaml-bitstring.git Add .gitignore file. --- diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..ec8f467 --- /dev/null +++ b/.gitignore @@ -0,0 +1,25 @@ +*~ +*.cmi +*.cmo +*.cmx +*.cma +*.cmxa +*.o +*.a +*.so +*.opt + +/autom4te.cache +/bitstring-objinfo +/bitstring_config.ml +/cil-tools/Makefile +/config.h +/config.h.in +/config.log +/config.status +/configure +/create_test_pattern +/META +/Makefile +/tests/80_testdata/*.actual +/tests/test.bmpp