From 3023bcaf9588582f3de6f2b7c12f7bff51309953 Mon Sep 17 00:00:00 2001
From: Enrico Ros <enrico.ros@gmail.com>
Date: Thu, 30 Jan 2025 22:03:15 -0800
Subject: [PATCH] /tools folder

---
 tools/.gitignore | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 tools/.gitignore

diff --git a/tools/.gitignore b/tools/.gitignore
new file mode 100644
index 000000000..e69de29bb