]> Nishi Git Mirror - gwion.git/commitdiff
: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)
util

diff --git a/util b/util
index b589b775b7912229bed90a77908b9697bfa10faa..2681abf83f5dec2c1b6fe60ac2c0895a321491bf 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit b589b775b7912229bed90a77908b9697bfa10faa
+Subproject commit 2681abf83f5dec2c1b6fe60ac2c0895a321491bf