summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNadrieril2020-02-17 18:12:44 +0000
committerNadrieril2020-02-17 18:12:44 +0000
commit2f65c02a995f6b6d4c755197fc074782f6bb100d (patch)
treeebe6373d5344b90f1a3e77b1a772e1ccadc6be81 /.gitignore
parent73571249f9bcf8efe84708a4a9f8665af62e44f0 (diff)
Rename TyExpr to Tir
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions