From af920aafdffa1cff9a95990241541396de29b1f6 Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Thu, 2 Feb 2023 17:35:39 +0100 Subject: [PATCH] update interactive client Change-Id: Iacc521807969b23779f1172d09bfc164a0a66a3b --- frappy/client/interactive.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/frappy/client/interactive.py b/frappy/client/interactive.py index e400dff..63c010e 100644 --- a/frappy/client/interactive.py +++ b/frappy/client/interactive.py @@ -93,6 +93,9 @@ class Logger: pass +infologger = Logger('info') + + class PrettyFloat(float): """float with a nicer repr: