From 9659ccae068a8d1f06c2061ea9b3c17e08703818 Mon Sep 17 00:00:00 2001
From: Uriel Fanelli <loweel@gmx.de>
Date: Sun, 11 May 2025 09:09:31 +0200
Subject: [PATCH] ignore folder mnesia

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

diff --git a/.gitignore b/.gitignore
index 6d1e0ba..606851e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,6 +20,7 @@ erl_crash.dump
 
 # File temporanei di Mnesia (database locale)
 mnesia.*
+/mnesia/
 
 # File temporanei di editor
 *~