diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-05-03 07:59:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-05-03 07:59:45 -0400 |
| commit | 03769b32eeb1568fdd5cdf5b34a001fe473b931e (patch) | |
| tree | 53f9a775d7f91551fe16b1addd3f76acb0105987 /tests | |
| parent | a67b10880366304b1004dedcbf616ba70c1e196d (diff) | |
A .urs comment about [queryL*]
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions