diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-07 13:31:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 13:31:45 -0400 |
| commit | 8443e6fb491fa8c8877e53e6548e2fca401e24d5 (patch) | |
| tree | 69714c428bde29185738b65b5c51d038f4d71e08 /Makefile | |
| parent | 9f8b222f6667f4e7dec2105ea4f5c2abdfd29dc9 (diff) | |
Remove unneeded type annotations in pquery
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions