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










          

  
.gitignore
_build
*.native
*.byte
*.docdir
*.merlin

configure
setup.data
setup.log
setup.ml

*~