]> Nishi Git Mirror - gwion.git/commitdiff
:art: windows header
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 30 Mar 2020 16:07:42 +0000 (18:07 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 30 Mar 2020 16:07:42 +0000 (18:07 +0200)
util

diff --git a/util b/util
index c8718695ae95936064d994b046a4db1f7c889843..213e93529c673f4c5c77bae7d7504e949418643b 160000 (submodule)
--- a/util
+++ b/util
@@ -1 +1 @@
-Subproject commit c8718695ae95936064d994b046a4db1f7c889843
+Subproject commit 213e93529c673f4c5c77bae7d7504e949418643b