Merge branch 'master' of git@localhost:sqlgg
[sqlgg.git] / .gitignore
blobb7cb4304c6d834bdb0d51d407c43d397329ac6ea
1 *.byte
2 _build
3 impl/*.cm?
4 # autogenerated
5 git.ml
6 # vim
7 *.swp