diff options
| author | Brian Campbell | 2018-05-29 17:38:38 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | 629aa510b39834f13441757c6e0cc679d77fe4e8 (patch) | |
| tree | 14e1cbe8d84e565d57e6ac4e899df3b16dc4d5cf /lib | |
| parent | d39b91db5c37bd852fee19c2ab2e61bb02028cdb (diff) | |
Coq: ignore some currently unsupported tests
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions