From 96eda6b0bfe48b9c96c882bc9e20ed3fa34edd33 Mon Sep 17 00:00:00 2001
From: Antoine <antoine.hoffmann@epfl.ch>
Date: Wed, 13 Mar 2024 14:01:21 +0100
Subject: [PATCH] add local/dirs.inc

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

diff --git a/.gitignore b/.gitignore
index 8e0f667..44012ae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -47,4 +47,5 @@ out*
 gyacomo
 gyacomo_dbg
 gyacomo23*
-wk/parameters/profiles
\ No newline at end of file
+wk/parameters/profiles
+local/dirs.inc
-- 
GitLab