annotate frontends/src/tools/__init__.py @ 1114:7293233970ab

misc: stdout encoding management in python part of sat.sh
author Goffi <goffi@goffi.org>
date Wed, 20 Aug 2014 23:42:58 +0200
parents 56aa0e98c92e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source