From 673c82631cbe7cda70251925230aae5b597c2cf3 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 24 Aug 2021 15:11:35 +0200
Subject: [PATCH] update .gitignore

---
 .gitignore | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 9cef935ca73..a99e667dc23 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,7 +16,6 @@ TAGS
 .\#*
 .DS_Store
 *.tmp
-*.s
 
 #artifacts from execution
 frama_c_journal.ml
@@ -60,7 +59,6 @@ autom4te.cache
 /tests/misc/my_visitor.sav
 /tests/spec/preprocess_dos.c
 /tests/*/*.opt
-/tests/pdg/*.dot
 
 /devel_tools/fc-time
 /devel_tools/fc-memuse
-- 
GitLab