summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 1d79768b8f32713f86e2a075ceebe015ae37619e (plain) 
1
2
3
4
5
6
7
8

_build
setup.data
setup.log
*.native
*~
.merlin
# This file is generated by the configure script
src/config/config_vars.ml
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-03 04:47:26 +0000