update interactive client

Change-Id: Iacc521807969b23779f1172d09bfc164a0a66a3b
This commit is contained in:
zolliker 2023-02-02 17:35:39 +01:00
parent 98162a59b9
commit af920aafdf

View File

@ -93,6 +93,9 @@ class Logger:
pass pass
infologger = Logger('info')
class PrettyFloat(float): class PrettyFloat(float):
"""float with a nicer repr: """float with a nicer repr: