make mypy happy

2017-06-24 11:31:07 +02:00
parent 57936db6b9
commit 2d9bbf39f0
8 changed files with 24 additions and 13 deletions
--- a/relational_readline/linegui.py
+++ b/relational_readline/linegui.py
@@ -35,6 +35,9 @@ COLOR_GREEN = 0x00ff00

 TTY = os.isatty(0) and os.isatty(1)

+version = ''
+
+
 def printtty(*args, **kwargs):
    '''
    Prints only if stdout and stdin are a tty