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 /lib/ur/basis.urs | |
| parent | 1973011a14931c9946d9d7a04efc90087c7828ff (diff) | |
Stop quoting Postgres identifiers in 'noMangleSql' mode
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions