commit | 308bd07424350a6000f35a77b5f85cd4f3da319e | [log] [tgz] |
---|---|---|
author | David Neto <dneto@google.com> | Mon Jul 06 08:49:37 2020 -0700 |
committer | GitHub <noreply@github.com> | Mon Jul 06 08:49:37 2020 -0700 |
tree | 74cdd59827c52f0a29af39399d4bfc94b705cb41 | |
parent | 11d7637e7a43cd88cfd4e42c99581dcb682936aa [diff] | |
parent | 5ce3533154d080cf2fc8ce3236f65286048296d0 [diff] |
Merge pull request #160 from dj2/reg_tint Register the Tint compiler