From 6ce005b2d0b776d39c2878635a2e97a4ecf3573e Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 19 Jul 2013 15:08:59 +0200
Subject: [PATCH] * .gitignore: More files to ignore.

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

diff --git a/.gitignore b/.gitignore
index 3225e6ac9..c9b7b672f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -57,3 +57,7 @@ config.cache
 *.json
 *.fdb_latexmk
 *.xz
+dt*ba-sat.cnf
+dt*ba-sat.out
+dt*ba-sat.dbg
+*.exe