Fixes encoding problem on Windows systems, with minimal changes to existing code.
authorJoao Rodrigues <j.p.g.l.m.rodrigues@gmail.com>
Thu, 5 Dec 2019 12:47:00 +0000 (06:47 -0600)
committerJoao Rodrigues <j.p.g.l.m.rodrigues@gmail.com>
Thu, 5 Dec 2019 12:47:00 +0000 (06:47 -0600)
commitcd41c7b84eac8058677df8c3406a26aa8e0c6249
tree5ef93fccb2218fe8a31d6453706dcb13f80a9857
parenta2d1a1f28184982d145297fb0183b9571e75352a
Fixes encoding problem on Windows systems, with minimal changes to existing code.
bin/util.py