summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 5ac362e50138220ec5526bfa6df4386e118e1b5f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
# oasis side-effects
Makefile
myocamlbuild.ml
configure
setup.ml
setup.data
setup.log
_tags

# build artefacts
_build/
sid_test.byte