From 06b3a80af352feb7891ea390d7be692260b42863 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 4 Jul 2014 02:45:16 +0200
Subject: [PATCH] .gitignore: More files to ignore.

---
 .gitignore | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.gitignore b/.gitignore
index c9b7b672f..64766a5a0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -61,3 +61,11 @@ dt*ba-sat.cnf
 dt*ba-sat.out
 dt*ba-sat.dbg
 *.exe
+*.tex
+*.out
+*.cnf
+*.html
+*.dstar
+*.satlog
+*.png
+