| Tue, 06 Mar 2018 02:38:53 -0600 | Yuya Nishihara | ui: do not use rawinput() when we have to replace sys.stdin/stdout | changeset | files |
| Tue, 06 Mar 2018 02:32:26 -0600 | Yuya Nishihara | ui: do not try readline support if fin/fout aren't standard streams | changeset | files |