ajout fichier gitignore

This commit is contained in:
federico 2019-04-27 15:36:01 +02:00
parent 02b299b5ee
commit a91e0a2ca3

4
.gitignore vendored Normal file
View File

@ -0,0 +1,4 @@
.toc
.aux
.syncgz
.log