From ca90a19735cd19b3f0f10b47437e5636725573b0 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 1 Apr 2019 15:34:55 +0200
Subject: [PATCH] Build: git-ignoring more files

---
 .gitignore | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 4539085a..c941eaf0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,18 @@
 _build/
 *.install
 bin/dune-project
-.merlin
\ No newline at end of file
+.merlin
+*.o
+*.seed
+*.rif
+lib/sasacore/sasaVersion.ml
+*.pdf
+*.log
+*.save
+rdbg-session*.ml
+my-rdbg-tuning.ml
+*.lut
+*.org_archive
+Makefile.local
+notes.org
+sasa-*.dot
\ No newline at end of file
-- 
GitLab