diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-09-30 16:37:37 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-09-30 16:37:37 -0400 |
| commit | f9cecf4b691e81f720fa1363c0a4b03b4b799ae8 (patch) | |
| tree | f2064e560a16e4fc24f17a08824b4a78c59d29df /src/settings.sml | |
| parent | 71cc64ad35debb1950827e4be6c6a3d5cfc216fc (diff) | |
Detect more SQL uses without 'database' directive
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions