From b298a927b2f1a7ac5ecdeb15272e4b6e827c2bc1 Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Wed, 19 Oct 2022 11:49:01 +0200 Subject: [PATCH] Add a .gitignore --- .gitignore | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..b513267 --- /dev/null +++ b/.gitignore @@ -0,0 +1,11 @@ +_build +setup.data +setup.log +doc/*.html +*.native +*.byte +*.so +*.tar.gz +_tests +*.merlin +*.install