|
From: Gunter K. <gu...@pe...> - 2017-06-19 04:56:45
|
I forgot to mention: I would see things like > ratprint: replacing 0.5 by 1/2 (0.5) not as "warning", but as "info". and therefore would not highlight these strings. Kind regards, Gunter. |