summaryrefslogtreecommitdiff
path: root/.gitignore
blob: ac48673f9dfe9c7afcf9f9fb35d6a6e7a444d218 (plain) (blame) 
1
2
3
4
5
6
7
8
9
10
11

# Temporary files of text editors
*.swp
*~

# Build products
_build
analyze

# Menhir automaton data
*.conflicts
*.automaton
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-24 02:15:28 +0000