adrienmalin 3c70d17ca0 use src.timeout instead of while for input wait

2019-02-11 22:27:55 +01:00

..

__init__.py

Module

2019-02-10 17:23:40 +01:00

__main__.py

Module

2019-02-10 17:23:40 +01:00

terminis.py

use src.timeout instead of while for input wait

2019-02-11 22:27:55 +01:00