diff options
| author | Nadrieril | 2020-02-17 18:12:44 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-17 18:12:44 +0000 |
| commit | 2f65c02a995f6b6d4c755197fc074782f6bb100d (patch) | |
| tree | ebe6373d5344b90f1a3e77b1a772e1ccadc6be81 /.gitignore | |
| parent | 73571249f9bcf8efe84708a4a9f8665af62e44f0 (diff) | |
Rename TyExpr to Tir
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions