diff options
| author | Brian Huffman <huffman@galois.com> | 2017-03-17 15:10:40 -0700 |
|---|---|---|
| committer | Alex Biehl <alexbiehl@gmail.com> | 2017-03-23 17:45:58 +0100 |
| commit | 29c76f761fe131cc00272eed9a0137953dba6180 (patch) | |
| tree | 1e5b077c15071b5efeddcfa1f4d90aa03301db5a /doc/.gitignore | |
| parent | f6f9bca1416f6cee48f2d4731a6c38db92e87300 (diff) | |
Update test suite to expect kind annotations on type parameters.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions