aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEduardo Julian2019-04-09 00:40:21 -0400
committerEduardo Julian2019-04-09 00:40:21 -0400
commit1a8f93c02a68d7b3968916c14155a391871d6340 (patch)
treee6a3f9858a7b2a47f7f540df1083df34110af8f6 /.gitignore
parentd049f53804943bd634f76153b9afbb9b1289361c (diff)
Fixed a host-related type-checking bug in the old compiler.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions