summaryrefslogblamecommitdiff
path: root/.gitignore
blob: e6c5390f7af9d8e6fa74a232514e3edbabd9e85a (plain) (tree)
1
2
3
4
5
6
7
8
9
10
                                 
     

  





                                

       



                       
# Temporary files of text editors
*.swp
*~

# Tests : KCG & C build products
tests/kcg
*.log
*.test

# OCaml build products
_build
analyze

# Menhir automaton data
*.conflicts
*.automaton