diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-07-04 18:44:52 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-07-04 18:44:52 -0400 |
commit | 963a33d73b14f37cfda0dd8a85d2a02fddaeed6c (patch) | |
tree | de0409be7ea5569de8fdf23f4ca974b973e8bd85 /tests/subquery.urs | |
parent | fabac72992d397942fd5712d49733424ccb9de56 (diff) |
Stray character in a comment
Diffstat (limited to 'tests/subquery.urs')
0 files changed, 0 insertions, 0 deletions