diff options
| author | Nadrieril | 2020-02-15 19:05:26 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-15 19:05:26 +0000 |
| commit | d65d639ff93691adbf0a208edb99736003bc64bd (patch) | |
| tree | 39a0a59fdb2deaa26f202d3141b2e6c779533377 /.gitignore | |
| parent | 51cf6a28fa56031dbeae0ff378f0ef84eff7fd3e (diff) | |
Factor some tck code to avoid needing get_type_tyexpr
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions