summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-12-08 17:29:24 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-12-08 17:29:24 -0500
commit49da529aff71b377ec8a9ebc98b0a94f81ee18e5 (patch)
treea3b3fae12a80df87219d783fafc444e2090c33c8 /lib
parent636cadeb754871d6574cfa53660c0ea487fe7fd5 (diff)
Change Postgres schema-checking code to account properly for namespaces
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions