Add .gitignore

Cette révision appartient à :
Julian Ospald 2015-04-20 20:13:30 +02:00
Parent b43b9e2456
révision cacdd5c41a
Signature inconnue de Gitea
ID de la clé GPG: 220CD1C5BDEED020
1 fichiers modifiés avec 13 ajouts et 0 suppressions

13
.gitignore externe Fichier normal
Voir le fichier

@ -0,0 +1,13 @@
_minted-*
*.aux
*.log
*.out
*.pdf
*.gz
*.toc
*.nav
*.snm
*.vrb
*.mintedcmd
*.mintedmd5
*.dvi