]> Nishi Git Mirror - gwion.git/commit
Merge pull request #117 from fennecdjay/UnionTmpl
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 6 Jun 2019 17:12:12 +0000 (19:12 +0200)
committerGitHub <noreply@github.com>
Thu, 6 Jun 2019 17:12:12 +0000 (19:12 +0200)
commitd62e2d7a83570b35e561ffcee6a881ddc443c04b
tree2adc51257fb128ad6d89b4b30d61c9e774350c5e
parente483059f0e9b8626fe720b3b532dee103ece16f4
parent67cfe8e924e65c2255c89454ccaccbe48d659e46
Merge pull request #117 from fennecdjay/UnionTmpl

Improve type system.