From 1dae196b6258d47822235b422361aabcb5571c33 Mon Sep 17 00:00:00 2001 From: Maxime Alves LIRMM Date: Thu, 31 Aug 2023 08:09:17 +0900 Subject: [PATCH] (gitignore) on ignore les fichiers .ps et .eps - figures) --- .gitignore | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 21ce0fc..343f76b 100644 --- a/.gitignore +++ b/.gitignore @@ -17,8 +17,8 @@ *.xdv *-converted-to.* # these rules might exclude image files for figures etc. -# *.ps -# *.eps +*.ps +*.eps # *.pdf @@ -290,4 +290,5 @@ montage.kra montage.kra~ montage.pur montage.png -montagea4.png.kra \ No newline at end of file +montagea4.png.kra +