sql: RENAME TABLE (fix #65)
[sqlgg.git] / .gitignore
blobc1e10cecd46bf186bd9e8bde8e98ae545c28fbca
1 *.byte
2 *.native
3 *.top
4 *.exe
5 sqlgg.cgi
6 /_build
7 /impl/*.cm?
8 /setup.data
9 /setup.log
10 /test/tmp
11 # autogenerated
12 /src/version.ml
13 /src/version_release.ml
14 *.html
15 # vim
16 *.swp