From 35fcfaa85cc51bd31148e0e71b7bf32226d9a09e Mon Sep 17 00:00:00 2001
From: Philippe Dosch <Philippe.Dosch@loria.fr>
Date: Tue, 3 Mar 2020 12:09:37 +0100
Subject: [PATCH] Ajout de git ignore
---
config.tex | 3 +++
1 file changed, 3 insertions(+)
diff --git a/config.tex b/config.tex
index 41f69ce..0047d22 100644
--- a/config.tex
+++ b/config.tex
@@ -90,6 +90,9 @@ Trois niveaux de configuration
\item
La première solution est naturellement préférable, sauf cas
particuliers
+ \item
+ Il existe également une commande \ex{git ignore} qui permet
+ d'alimenter ces fichiers
\end{itemize}
}
--
GitLab