Merge pull request #160 from dj2/reg_tint
authorDavid Neto <dneto@google.com>
Mon, 6 Jul 2020 15:49:37 +0000 (08:49 -0700)
committerGitHub <noreply@github.com>
Mon, 6 Jul 2020 15:49:37 +0000 (08:49 -0700)
commit308bd07424350a6000f35a77b5f85cd4f3da319e
tree74cdd59827c52f0a29af39399d4bfc94b705cb41
parent11d7637e7a43cd88cfd4e42c99581dcb682936aa
parent5ce3533154d080cf2fc8ce3236f65286048296d0
Merge pull request #160 from dj2/reg_tint

Register the Tint compiler