From baefb2b01ce229a6c25b9ec765674713da651cd1 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Thu, 29 Sep 2022 15:26:22 +0200
Subject: [PATCH] Ignore some directories and tags

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index dc28c5a..e29d715 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,5 @@
 build/
 install/
+misc/
+traces/
+tags