diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-01-15 15:46:46 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-01-15 15:46:46 -0500 |
commit | d9f5cfc01bf3aac3efb9b0890090a378aeaf15e5 (patch) | |
tree | 3651a62cab5dd88ede41c481615dcfd1de066e69 /src/termination.sml | |
parent | 1973011a14931c9946d9d7a04efc90087c7828ff (diff) |
Stop quoting Postgres identifiers in 'noMangleSql' mode
Diffstat (limited to 'src/termination.sml')
0 files changed, 0 insertions, 0 deletions