Fabien Benureau 4b3b2a23bd Improves interface of PrintUI
`print_out()` is replaced by `message()`, that redirect the output to
the stdout controlled by the PrintUI instance. Other than that, can be
used the same way as `print()`.
2015-12-03 16:09:54 +01:00
..
2013-06-30 18:14:24 +01:00
2014-04-18 12:58:12 +02:00
2014-04-17 12:53:13 +02:00
2015-12-02 16:36:27 +01:00
2015-12-03 10:00:19 +01:00
2015-12-02 16:36:27 +01:00
2015-05-07 13:17:44 +02:00
2014-04-19 18:14:01 +02:00
2015-05-07 13:17:44 +02:00
2015-05-07 13:17:44 +02:00
2015-05-07 13:17:44 +02:00
2015-05-07 13:17:44 +02:00
2015-05-07 13:17:44 +02:00
2015-05-07 13:17:44 +02:00
2015-12-03 16:09:54 +01:00
2013-11-14 04:40:29 +01:00