summaryrefslogblamecommitdiff
path: root/.gitignore
blob: 2ef0fce510810cee25f52b3d5611011954b55e64 (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