From 0eba5d53804633985885e52e2472df482249d289 Mon Sep 17 00:00:00 2001 From: Luca Mattii Date: Wed, 14 Feb 2018 16:12:59 +0100 Subject: [PATCH] Aggiunto .directory al gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index ae67ab5..9c41a36 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ main.pdf *.synctex.gz *.toc img/vectors +.directory