Fixed some gitignore entries

This commit is contained in:
Daniele Teti 2020-04-10 00:28:40 +02:00
parent bddca2f9b2
commit 440e979aba