diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-12-30 16:11:29 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-30 16:11:29 -0500 |
commit | 0db3fba5d2b9b5c0dbd8468a76b2ef75ebe40437 (patch) | |
tree | e3d1b2cd22b111820c56581ec871c24bd1087856 /tests/pquery.ur | |
parent | 60eda55ff1c5d68bb6b4d1ea49f22ccede87d22e (diff) |
Double-bind works
Diffstat (limited to 'tests/pquery.ur')
0 files changed, 0 insertions, 0 deletions