]> Nishi Git Mirror - gwion.git/commit
:wrench: Fix coevrage options
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 23:24:15 +0000 (00:24 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 23:24:15 +0000 (00:24 +0100)
commit1f739e998ed5ece523a3f35378ffaec7e8bf89df
treebbd94defa075cf2cf991b9e2d94f91622007d747
parentbbb4347674ad626c1ed6e88dda7c234d33a2dc9d
:wrench: Fix coevrage options
util