From 2ffd8407e0a02702b510692f82af654f9397dbfa Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Tue, 30 Nov 2021 12:15:04 +0100
Subject: [PATCH] Remove unneeded files from gitignore

---
 .gitignore | 17 +----------------
 1 file changed, 1 insertion(+), 16 deletions(-)

diff --git a/.gitignore b/.gitignore
index e7a7013..dc28c5a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,17 +1,2 @@
-# Ignore all
-*
-
-# Unignore all with extensions
-!*.*
-
-# Unignore all dirs
-!*/
-
-*.o
-*.so
-*.prv
-*.pcf
-*.png
-*.svg
-
 build/
+install/