]> Nishi Git Mirror - gwion.git/commitdiff
Merge pull request #125 from fennecdjay/fptrFix
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Jun 2019 22:34:35 +0000 (00:34 +0200)
committerGitHub <noreply@github.com>
Sun, 16 Jun 2019 22:34:35 +0000 (00:34 +0200)
Fptr fix and Func_Def internal templating


Trivial merge