Files
interpreteur-lir/src/.gitignore
T
SylvanCourtiol f0b66cf656 Initialisation branche dev
La branche dev sert à mettre en commun les parties faites en solo/binôme dans les branches features.
2021-05-07 21:16:46 +02:00

8 lines
86 B
Plaintext

# ignore les fichiers non nécessaire TexStudio
*.synctex.gz
*.aux
*.log
*.out
*.toc