From f2e091b9cd8ce9f58db0ae6517062fa93aa2bf8f Mon Sep 17 00:00:00 2001
From: Alexandre GBAGUIDI AISSE <gbagui_a@epita.fr>
Date: Thu, 17 Nov 2016 16:50:26 +0100
Subject: [PATCH] .gitignore: Fix typo

* .gitignore: Fix typo dt*a instead of dt*ba.
---
 .gitignore | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 530225abd..17cf0ef0b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -58,9 +58,9 @@ config.cache
 *.json
 *.fdb_latexmk
 *.xz
-dt*ba-sat.cnf
-dt*ba-sat.out
-dt*ba-sat.dbg
+dt*a-sat.cnf
+dt*a-sat.out
+dt*a-sat.dbg
 *.exe
 *.tex
 *.out