Update simple_menu.py

This commit is contained in:
Anton Hvornum 2022-01-06 16:57:50 +01:00 committed by GitHub
parent 33c27db1ba
commit 015cd2a59f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -59,7 +59,7 @@ from typing import (
try: try:
import termios import termios
except ImportError as e: except ImportError as e:
pass # raise NotImplementedError('"{}" is currently not supported.'.format(platform.system())) from e raise NotImplementedError('"{}" is currently not supported.'.format(platform.system())) from e
__author__ = "Ingo Meyer" __author__ = "Ingo Meyer"
__email__ = "i.meyer@fz-juelich.de" __email__ = "i.meyer@fz-juelich.de"