summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-05-03 07:59:45 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-05-03 07:59:45 -0400
commit069c6e80005874abbc8d4f82a96c782cb8dda111 (patch)
tree53f9a775d7f91551fe16b1addd3f76acb0105987 /tests
parent0c83e8f7c345a27be3cae77eeb2d7cb8658e5e9c (diff)
A .urs comment about [queryL*]
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions