diff options
-rw-r--r-- | igor.py | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -319,6 +319,7 @@ def print_banner(label): which_python = os.path.relpath(sys.executable) print('=== %s %s %s (%s) ===' % (impl, version, label, which_python)) + sys.stdout.flush() def do_help(): |