diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -1,4 +1,11 @@ +# Temporary files of text editors *.swp +*~ + +# Build products _build analyze -*~ + +# Menhir automaton data +*.conflicts +*.automaton |