diff options
| author | Florian Diebold <[email protected]> | 2020-07-15 20:47:45 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-07-15 21:07:13 +0100 |
| commit | 20770044631fd0c21caa12f9bc87489ea6c848ee (patch) | |
| tree | 27ba12638469c763874fa094744ffe3f628a7164 /.gitignore | |
| parent | a48843a16a2306399f2f6a78c69d9192a6480c88 (diff) | |
Remove TypeCtor interning
Our TypeCtor and Chalk's TypeName match now!
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions