summaryrefslogtreecommitdiff
path: root/demo/rec.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-11-18 17:44:12 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-11-18 17:44:12 -0500
commit13eb7555000c10b0c54e11364c42e0da75b98ca7 (patch)
tree683cd859883db5175662045e278f0b10056e587a /demo/rec.urp
parentaabcc562d7ad7266b6b1e338a14a19224c1169df (diff)
Fix catalog querying about empty tables
Diffstat (limited to 'demo/rec.urp')
0 files changed, 0 insertions, 0 deletions