]> Nishi Git Mirror - gwion.git/commitdiff
Merge pull request #142 from fennecdjay/OpSymbol
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 12 Jul 2019 01:35:04 +0000 (03:35 +0200)
committerGitHub <noreply@github.com>
Fri, 12 Jul 2019 01:35:04 +0000 (03:35 +0200)
:champagne: Allow dynamic operators


Trivial merge