diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-01 17:19:12 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-01 17:19:12 -0400 |
| commit | e7ee2c10c91252731665373f3fe01f43adfeed72 (patch) | |
| tree | fcd5c44e383db901b132519ee9a953101bcb7b04 /tests/checkbox.ur | |
| parent | c166040950300c72de0b4091b837cd2d9bf76567 (diff) | |
Fix some type-class detection
Diffstat (limited to 'tests/checkbox.ur')
0 files changed, 0 insertions, 0 deletions