From 5b1d4fb9cdc327cf3accd92defb6e6c71b361d75 Mon Sep 17 00:00:00 2001
From: Fabio Durastante <fabio.durastante@unipi.it>
Date: Thu, 20 Mar 2025 09:04:31 +0100
Subject: [PATCH] Exclude generated psb_config.h from git tracking

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

diff --git a/.gitignore b/.gitignore
index d190e4c7..a1719f69 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,7 @@
 # header files generated
 /cbind/*.h
 /util/psb_metis_int.h
+/base/modules/psb_config.h
 
 # Make.inc generated
 /Make.inc