gitignore e 4D: una funzione utile per gli utenti di Git