diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-05-10 12:56:19 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-05-10 12:56:19 -0400 |
commit | e07da25c269c5ea86613bf0ffddc416fbdbc7b11 (patch) | |
tree | 2bfb9ebc9bf9cc98ae2bf7ed344a44e1ba39058d /src/expl_env.sig | |
parent | 3380a1634d20006b5e717ad122eb51f9cb9e0afe (diff) |
Fix .sql generation to honor 'noMangleSql' in column names
Diffstat (limited to 'src/expl_env.sig')
0 files changed, 0 insertions, 0 deletions