diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-18 13:00:36 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-18 13:00:36 -0400 |
| commit | 6b5ea2c83c5b27fd7cbbb03089abda0dcfd775c2 (patch) | |
| tree | 1cd67c2d2fe12e4251bdd56df4bc4f26abcfb7c6 /tests/pquery.ur | |
| parent | 12aeb0f00be7961ef329f27a918ceb9c8cae4110 (diff) | |
Use key information in more places, and catch cases where one key completion depends on another having happened already
Diffstat (limited to 'tests/pquery.ur')
0 files changed, 0 insertions, 0 deletions