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 *~