learning_tla/.gitignore
2025-03-03 10:47:01 +01:00

19 lines
189 B
Text

.DS_Store
*_SnapShot_*
# Possibly sensitive and irrelavant
.idea/workspace.xml
# Useless generated files
states/
*.aux
*.dvi
*.launch
*.log
*.old
*.out
*.pmap
*.ps
*.svg
*.tex
*.toolbox/