From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Sat, 12 Jan 2019 19:55:43 +0000 (+0100)
Subject: Refine .gitignore some more.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=refs%2Fheads%2Fmaster;p=Algorithmic_C.git

Refine .gitignore some more.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---

diff --git a/.gitignore b/.gitignore
index 8ef7427..ad359e3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,9 +10,13 @@ pile_contigue
 pile_realloc
 file_contigue
 ABR
+!ABR/
 arbre_n_aire
+!arbre_n_aire/
 arbreB
+!arbreB/
 AVL
+!AVL/
 hachage_chainage
 hachage_lineaire
 tas