From f0bb9491925e43bcae17a3510fccac0a3de1a4f5 Mon Sep 17 00:00:00 2001
From: Cirdans-Home <f.durastante@na.iac.cnr.it>
Date: Tue, 3 Nov 2020 16:42:35 +0100
Subject: [PATCH] Removed user dependent util/psb_metis_int.h

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

diff --git a/.gitignore b/.gitignore
index 485fb98d..9d711cb9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,7 @@
 
 # header files generated
 cbind/*.h
+util/psb_metis_int.h
 
 # Make.inc generated
 /Make.inc