summaryrefslogtreecommitdiff
path: root/demo/sql.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-08 16:02:59 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-08 16:02:59 -0500
commit994846a1d8ee827702a18fe5379184cc387e9983 (patch)
tree6078fbad4c3562d8fd6401001a5c02628fd06ba4 /demo/sql.ur
parentb4fbebde89c6ed5eeae8653004417ac6000cdf07 (diff)
Especialize handles records better
Diffstat (limited to 'demo/sql.ur')
0 files changed, 0 insertions, 0 deletions