From e7316aa331eebf7cd4bf7c5be217b7fa52d3f492 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=B4me=20Allart?= <come.allart@thalesgroup.com>
Date: Fri, 8 Sep 2023 17:09:49 +0200
Subject: [PATCH] add tools to gitignore

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

diff --git a/.gitignore b/.gitignore
index 03a4e74e8c..6e61c9cf9b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -44,3 +44,4 @@ xrun_results/
 __pycache__
 .bender/
 Bender.lock
+/tools/